Fuente TeX:

\varphi \in CONS(\{\varphi \})