TeX source:
f(a) \leq f(x)