Fuente TeX:

x \not\in V(\varphi) \Rightarrow x \not\in V((\forall y) \varphi) \Rightarrow x \not\in FV((\forall y) \varphi) \Rightarrow y \text{ libre para } x \text{ en } (\forall y) \varphi