Zdroj TeX:

\small \overrightarrow{ABC} := \lbrace{X \in E_2;XC \cap \overleftrightarrow{AB}= ∅ \vee XC \cap \overleftrightarrow{AB}= \lbrace{X}}\rbrace