TeX source:
-4 x < 12