TeX source:
x^2+6x+8 \geq 0