TeX source:
x+4 < 12