⊢
Mathematischer Operator 159
- Unicode
- U+22A2
- Kategorie
- Mathematik
- HTML Entity
- ⊢
- CSS
- \22A2
Das Symbol ⊢ (oft als „Turnstile“ oder Ableitbarkeitszeichen bezeichnet) steht in der mathematischen Logik für die syntaktische Konsequenz. Der Ausdruck „A ⊢ B“ bedeutet, dass sich die Aussage B formal aus den Annahmen A beweisen lässt. Außerhalb von theoretischer Informatik und Mathematik wird das Zeichen kaum verwendet.
So tippen Sie
- Windows
- Alt + 8866
- macOS
- Control+Command+Space, dann nach 'right tack' suchen
- Linux
- Strg+Umschalt+U, dann 22a2
- HTML
- ⊢
In der Programmierung
In LaTeX erzeugst du das Zeichen mit dem Befehl `\vdash`. Es wird hauptsächlich in formalen Beweisen und zur Notation von Typisierungsregeln in der theoretischen Informatik eingesetzt.
Tags
mathematik
logik
ableitbar
beweisbar
turnstile