Fuente TeX:

\displaystyle {\mathrm M}\vDash \left( \varphi \left[ {}^{t}\!\!\diagup\!\!{}_{x}\; \right]\leftrightarrow \varphi \left[ {}^{\text{swap}\left( t \right)}\!\!\diagup\!\!{}_{x}\; \right] \right)