Fuente TeX:

M_2 \vDash \varphi_1