Elementzeichen mit langem Strich
Zeichen und Codes zum Kopieren
-
⋲
Zeichen
-
U+22F2
Unicode
-
⋲
HTML Code
-
\22F2
CSS Code
-
\u22F2
JavaScript Code
-
\u{22F2}
PHP / Ruby Code
Beschreibung
Das Elementzeichen mit langem Strich ⋲ ist ein Elementzeichen, dessen waagerechter Mittelstrich nach rechts über den Bogen hinausragt.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. Gebraucht wird es in Arbeiten, in denen mehrere Arten von Zugehörigkeit auseinandergehalten werden müssen – der verlängerte Strich kennzeichnet dann eine besondere Fassung, die der Text erklärt.
Vom Elementzeichen ∈ unterscheidet es die Länge des Strichs, vom Zeichen ⋳ dessen Abschluss. Für die gewöhnliche Aussage »ist Element von« bleibt ∈ die richtige Wahl.