TeX source:

12x+7 < -11