Fuente TeX:

(\bar{\forall} \varphi \in FORM_\mathcal{L})(\bar{\forall} x,y \in VAR)(x \not\in V(\varphi) \Rightarrow (\varphi[x/y])[y/x] = \varphi )