[ 数 ] ≤ [ 数 ]

☞ x ≔ 8 ≤ 7.
☞ y ≔ 7 ≤ 8.
✎ 写: x, 句末.
✎ 写: y, 句末.