Fuente TeX:

M_1 \vDash \varphi_1