TeX source:
y \geq f(x)