TeX source:
-2 x-1 \geq 5