TeX source:
5 x+13 \geq-37