TeX source:
x_2 – x_1