\ vdash - Tex-Befehl
vdash
\vdash - Wird zum Erstellen eines vdash-Symbols verwendet.
ZUSAMMENFASSUNG
{ \vdash}BESCHREIBUNG
Der Befehl \ vdash zeichnet das vdash-Symbol.
BEISPIEL
- \vdash$ \ vdash $
\vdash - Wird zum Erstellen eines vdash-Symbols verwendet.
{ \vdash}Der Befehl \ vdash zeichnet das vdash-Symbol.
\vdash