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