TeX source:
\models _{\mathrm {P} }(\phi \to \psi )