TeX source:

M\vDash \phi