TeX source:
5 x \geq-50