TeX source:
6x + 9y \leq 18