Zdroj TeX:

(a \cap a' = \emptyset \; \wedge \;a \parallel a') \Rightarrow ( a \cap \alpha =\emptyset ) \Rightarrow (a \parallel \alpha)