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