Umgekehrtes Folgerungszeichen
Zeichen und Codes zum Kopieren
-
⊣
Zeichen
-
U+22A3
Unicode
-
⊣
HTML Code
-
\22A3
CSS Code
-
\u22A3
JavaScript Code
-
\u{22A3}
PHP / Ruby Code
Beschreibung
Das umgekehrte Folgerungszeichen ⊣ besteht aus einem senkrechten Strich, von dem auf halber Höhe ein waagerechter nach links abgeht.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. Es ist die gespiegelte Form des Folgerungszeichens und wird gesetzt, wenn die Herleitung von rechts nach links gelesen werden soll. In der Kategorientheorie bezeichnet »F ⊣ G«, dass zwei Funktoren adjungiert sind.
Vom Folgerungszeichen ⊢ unterscheidet es die Richtung, vom Falsum ⊥ die Lage des Strichs: dort steht er unten.