Zdroj TeX:

-\alpha= \lbrace{x \in Q ; \exists a \in \alpha': x \leq -a }\rbrace