Fuente TeX:
\varphi \in CONS(\{ \alpha \})