Zdroj TeX:
\lbrace{X; \overleftrightarrow{XC} \cap \overrightarrow{AB}=∅ }\rbrace