TeX source:
-47 \geqslant 8-5 x