TeX source:
2 < 3