Zdroj TeX:

\alpha \parallel \beta \Rightarrow \forall a \in \alpha : a \parallel \beta