TeX source:
-2 < -3