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