Zdroj TeX:

\alpha \oplus \beta= \lbrace{a+b;a \in \alpha \wedge b \in \beta }\rbrace