TeX source:
3 x < 6