Fuente TeX:
(\forall \varphi \in FORM)