≡
4/4 < 1234