TeX source:
12x+5\leq-4