Zdroj TeX:
(-a-1 \in -\alpha) \Leftrightarrow (- \alpha \neq \emptyset)