TeX source:

\big||x_1|-|x_2|\big| \leq 1\cdot|x_1-x_2|