TeX source:

x + 5 < 3