Fuente TeX:
\scriptstyle{\text{Sean } \alpha, \beta \in PROP \text{ cualesquiera}}