[ Number ] - [ Number ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ manoratra: y, mijanòna.
5