Erzwingungszeichen
Zeichen und Codes zum Kopieren
-
⊩
Zeichen
-
U+22A9
Unicode
-
⊩
HTML Code
-
\22A9
CSS Code
-
\u22A9
JavaScript Code
-
\u{22A9}
PHP / Ruby Code
Beschreibung
Das Erzwingungszeichen ⊩ besteht aus zwei senkrechten Strichen, von denen ein waagerechter nach rechts abgeht.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. In der Mengenlehre steht »p ⊩ φ« für das Erzwingen: Eine Bedingung p legt fest, dass die Aussage φ in der erweiterten Welt gilt. Paul Cohen entwickelte das Verfahren 1963, um die Unabhängigkeit der Kontinuumshypothese zu zeigen.
Vom Folgerungszeichen ⊢ unterscheidet es der zweite senkrechte Strich, vom Modellzeichen ⊧ die Lage: dort liegen die Striche waagerecht doppelt.