Zdroj TeX:
A \in U \Leftrightarrow A' \in T(U)