Zdroj TeX:

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