Zdroj TeX:

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