TeX source:
y\geq f(d)