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