Zdroj TeX:

\mathcal{U}_1, \mathcal{U}_2 \in \mathcal{M} : (\mathcal{U}_1 \simeq \mathcal{U}_2 \Rightarrow f(\mathcal{U}_1) = f(\mathcal{U}_2))