Zdroj TeX:

-\alpha \oplus \alpha ⊆ 0^∗