TeX source:

13-7 x \geq 10 x-4