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