[ Number ] ≥ [ Number ]

☞ x ≔ 8 ≥ 7.
✎ write: x, stop.
True