TeX source:

M\vDash \varphi