Zdroj TeX:

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