Zdroj TeX:

a \parallel b \Leftrightarrow (a = b) \vee ( \exists \alpha : a \cup b \subset \alpha \;\wedge \;a \cap b = \emptyset)