Zdroj TeX:

1 \notin \alpha