TeX source:
3 x-2 < 1