TeX source:
8-2 x \geq 0