Zdroj TeX:

\alpha^{-1}= \lbrace{x \in Q^+ ; \exists a \in \alpha': (x \leq a^{-1} ) }\rbrace \cup Q^-