Fuente TeX:
(\exists \varphi \in PROP) (\varphi \neq \perp y \varphi \models \perp)