TeX source:
1 < 0