TeX source:
8+5x \geq 50