TeX source:
f(x)>f(a)