Fuente TeX:

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