TeX source:
0 < -1