TeX source:

3 x < 6