[ Nummer ] trekke fra: [ Nummer ]

☞ x ≔ 3.
x trekke fra: 1.
✎ skrive: x, stop.
2