Zdroj TeX:

\small \overrightarrow{AB} :=\lbrace X\in AB \vee \mu(ABX) \rbrace