⊴
Mathematischer Operator 177
- Unicode
- U+22B4
- Kategorie
- Mathematik
- HTML Entity
- ⊴
- CSS
- \22B4
Das Symbol ⊴ (Normalteiler oder gleich) stammt aus der höheren Mathematik, genauer gesagt aus der Algebra und Gruppentheorie. Es wird verwendet, um anzuzeigen, dass eine bestimmte Gruppe ein Normalteiler einer anderen Gruppe ist oder exakt mit dieser übereinstimmt. Im Alltag taucht dieses Zeichen kaum auf, ist aber für mathematische Fachpublikationen, Skripte und strukturierte Beweise unverzichtbar.
So tippen Sie
- Windows
- Alt + 8884 (auf dem Ziffernblock) oder Win+. für die Symbolsuche
- macOS
- Control + Command + Space und nach "Normal Subgroup" suchen
- Linux
- Strg + Shift + U, dann 22b4 und Enter
- HTML
- ⊴ oder &unlhd;
In der Programmierung
In Textsatzsystemen wie LaTeX wird das Symbol mit dem Befehl \unlhd erzeugt, oft mithilfe des Pakets "amssymb". In computergestützten Theorembeweisern wie Lean oder Coq nutzt man das Zeichen zur Formalisierung und Überprüfung von gruppentheoretischen Aussagen.
Tags
mathematik
algebra
normalteiler gleich
untergruppe
operator