Zdroj TeX:

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