Zdroj TeX:
(1 \notin \alpha) \Leftrightarrow (1 \in \alpha')