TeX source:

5x-4\geq 12