[ Číslo ] odečíst: [ Číslo ]

☞ x ≔ 3.
x odečíst: 1.
✎ psát: x, stop.
2