TeX source:
2x-1\geq 0