TeX source:
\vDash