Zdroj TeX:

U_1 \cong U_2