Fuente TeX:

\mathcal{P}(\varphi) := x \not\in V(\varphi) \Rightarrow (\varphi[x/y])[y/x] = \varphi