Fuente TeX:
\vDash