TeX source:
y \leq f(x)