TeX source:
3 < 5