Zdroj TeX:

(x_1=x_2 ) \Leftrightarrow (6x_1=6x_2 ) \Leftrightarrow (1.6.x_1=2.3.x_2)