Zdroj TeX:

(\exists a,b \subset \alpha, a',b' \subset \beta ) \wedge (a\parallel a',b\parallel b') \Rightarrow )\alpha\parallel \beta )