TeX source:
2 < 4