Zdroj TeX:

\small {AB} := \lbrace{X; \mu(AXB)}\rbrace \vee X \in \lbrace{A,B}\rbrace