Zdroj TeX:
a'+b'\notin \alpha \oplus \beta