TeX source:
4 x+7 \geq 2 x-3