[ 数 ] - [ 数 ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ 写: y, 句末.