TeX source:
x^2+1\ge x^2