Zdroj TeX:

\small \overleftarrow{AB} := \lbrace{ X=A \vee \mu(BAX) }\rbrace