TeX source:

x^4-x^2+9 \geq 0