Fuente TeX:
\not \alpha\in PROP