Modell-Zeichen
- Word-Trick
- 22A8 tippen, dann Alt + X
- Windows-Panel
- Win + . → Symbole
- Symbol-Menü
- Einfügen → Symbol
Unicode / HTML / CSS für Entwickler
- Unicode
- U+22A8
- HTML
- ⊨
- CSS
- \22A8
- Dezimal
- 8872
- Unicode-Block
- Mathematical Operators
Bedeutung & Verwendung
Zeigt semantische Folgerung an: M ⊨ φ bedeutet, dass die Aussage φ im Modell M wahr ist — Gegenstück zum syntaktischen ⊢ in der Modelltheorie.
Auch bekannt als: semantisch impliziert, erfüllt (Modelltheorie)
Ähnliche Zeichen
Mehr Wege: Sonderzeichen in Word · Sonderzeichen unter Windows