TeX source:

x_2 > x_1