Zdroj TeX:

(a \subset \alpha) \Rightarrow ( \exists a'=a; \;a \parallel a')