TeX source:
x^2 – 2 ≥ 0