Zdroj TeX:
\exists a \in Q \wedge a >0 ;a \in \alpha