TeX source:
-4x < 12