Was bedeutet ⊮
⊮ verneint das Erzwingen; ⊬ verneint einen Beweis.
Ein Kripke-Modell – ein Rahmen, in dem Formeln an möglichen Zuständen oder Welten geprüft werden – legt Bedingungen dafür fest, wann eine Aussage erzwungen wird. ⊮ bedeutet, dass diese Bedingungen die Aussage an diesem Zustand nicht wahr machen.
Das ist eine Aussage über die Bedeutung innerhalb eines Modells. Für sich genommen sagt sie nicht, ob sich die Aussage aus Annahmen beweisen lässt.
Nicht verwechseln mit
1So gibst du ⊮ ein
Windows (Word)
Alt+XGib 22AE ein und drücke Alt+X für ⊮.
Windows
Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win + .).
macOS
Control+Command+SpaceÖffne die Zeichenübersicht und suche nach „does not force“.
Linux
Ctrl+Shift+UGib 22ae ein und drücke Enter oder die Leertaste.
HTML
⊮CSS
\22AELaTeX
Gib im Mathematikmodus `\nVdash` ein; deine LaTeX-Symbolkonfiguration muss den Befehl definieren und das Zeichen enthalten.
Codes und KodierungCodepunkte: 1
HTML dezimal
⊮
HTML hexadezimal
⊮
CSS-Inhalt
content: "\22AE";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%8A%AE
1
Auf dem Bildschirm
1
Codepunkte
1
JS .length
3
UTF-8-Bytes
Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.