TeX source:
f(x) ≥ 0