Fuente TeX:

\displaystyle \left( 2.4.5 \right)\Leftrightarrow \forall \varphi \in FORM,\forall t\in TER{{M}_{C}}\text{ }\left( {\mathrm M}\vDash \varphi \left[ {}^{t}\!\!\diagup\!\!{}_{x}\; \right]\text{ sii }\varphi \left[ {}^{\text{swap}\left( t \right)}\!\!\diagup\!\!{}_{x}\; \right] \right)