TeX source:

|x_2|-|x_1| \leq |x_1-x_2|.