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