TeX source:
\vdash