[ Aufgabe ] zeichenfolge

☞ x ≔ { 1 + 1. }.
✎ schreiben: x, halt.
Aufgabe