Zdroj TeX:
\small \lbrace{X; \overleftrightarrow{XC} \cap \overleftarrow{AB} \neq ∅ }\rbrace