TeX source:
x + 4 < 12