TeX source:

x_1 < x_2