TeX source:
-4x+3 < -6