TeX source:

|x_1|-|x_2| = |x_1-x_2+x_2|-|x_2| \leq |x_1-x_2| + |x_2| - |x_2| = |x_1-x_2|,