Zdroj TeX:
(-a \in -\alpha)