TeX source:
\vdash, \dashv, \vDash, \models