Zdroj TeX:

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