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