Erzwingt nicht
Zeichen und Codes zum Kopieren
-
⊮
Zeichen
-
U+22AE
Unicode
-
⊮
HTML Code
-
\22AE
CSS Code
-
\u22AE
JavaScript Code
-
\u{22AE}
PHP / Ruby Code
Beschreibung
Das Zeichen ⊮ ist ein durchgestrichenes Erzwingungszeichen: zwei senkrechte Striche mit einem waagerechten nach rechts, dazu ein Schrägstrich.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. Gelesen wird »p ⊮ φ« als »die Bedingung p erzwingt φ nicht«. In der Mengenlehre steht es in Beweisen, die zeigen, dass eine Aussage in der erweiterten Welt offen bleibt.
Vom Erzwingungszeichen ⊩ unterscheidet es allein der Schrägstrich, vom Zeichen ⊬ der zweite senkrechte Strich.