Zdroj TeX:
\exists a,b \subset \alpha