TeX source:
2 x+2 < 6