Fuente TeX:

M \vDash \alpha \Rightarrow M \vDash CONS(\alpha)