Fuente TeX:

((\forall y)\varphi)[y/x] = ((\forall y)\varphi[y/x]) = (\forall y)\varphi