TeX source:
f(x)\ge 0