TeX source:
12x+7< -11 \quad {\text{ OR }} \quad 5x-8>40