TeX source:
0 > 5