TeX source:
f(x_1) > f(x_2)