TeX source:
12x-39\leq 9