TeX source:
x-3 < 5