TeX source:
-3 x < 7