Fuente TeX:
\alpha * \beta \in PROP