Herleitungszeichen
- Word-Trick
- 22A2 tippen, dann Alt + X
- Windows-Panel
- Win + . → Symbole
- Symbol-Menü
- Einfügen → Symbol
Unicode / HTML / CSS für Entwickler
- Unicode
- U+22A2
- HTML
- ⊢
- CSS
- \22A2
- Dezimal
- 8866
- Unicode-Block
- Mathematical Operators
Bedeutung & Verwendung
Das Turnstile-Zeichen Γ ⊢ φ bedeutet, dass die Aussage φ aus den Annahmen Γ formal herleitbar ist — zentral in formaler Logik und Beweistheorie.
Auch bekannt als: Turnstile, beweist, syntaktisch herleitbar
Ähnliche Zeichen
Mehr Wege: Sonderzeichen in Word · Sonderzeichen unter Windows