⊦
Mathematischer Operator 163
- Unicode
- U+22A6
- Kategorie
- Mathematik
- HTML Entity
- ⊦
- CSS
- \22A6
Das Symbol ⊦ (Behauptung oder englisch „Assertion“) stammt aus der mathematischen Logik und zeigt an, dass eine bestimmte Aussage wahr oder formell beweisbar ist. Es gehört zur Familie der sogenannten „Turnstile“-Symbole (Drehkreuze) und drückt aus, dass die rechte Seite einer Gleichung logisch aus der linken Seite folgt. Außerhalb von mathematischen Texten, formalen Beweisen oder der Informatik wirst du dieses spezielle Zeichen im Alltag kaum antreffen.
So tippen Sie
- Windows
- Alt + 8870 (auf dem Ziffernblock) oder in Word 22A6 tippen und Alt + C drücken
- macOS
- Control + Command + Leertaste, dann nach „assertion“ suchen
- HTML
- ⊦
In der Programmierung
In der formalen Logik und theoretischen Informatik zeigt das Symbol syntaktische Ableitbarkeit an (z. B. „A ⊦ B“ bedeutet: B lässt sich aus A ableiten). Es wird häufig beim Entwurf von Typensystemen, Programmiersprachen oder automatisierten Beweisern verwendet.
Tags
mathematik
logik
behauptung
assertion
beweis