TeX source:
0 < 4