TeX source:
9x-3y\leq24