Fuente TeX:

M \vDash \varphi