⋪
Operador matemático 231
- Unicode
- U+22EA
- Categoria
- Matematica
- HTML Entity
- ⋪
- CSS
- \22EA
O símbolo ⋪ (não é subgrupo normal de) é um operador matemático da teoria dos grupos, um ramo fundamental da álgebra abstrata. Ele representa a negação geométrica e lógica do símbolo de subgrupo normal (◁), indicando que um determinado grupo não atende aos critérios matemáticos para ser considerado um subgrupo normal de outro. Seu uso é restrito ao meio técnico e acadêmico, aparecendo principalmente em livros universitários, artigos de matemática avançada e demonstrações lógicas.
Como digitar
- Windows
- Alt+8938 ou Win+. e pesquise por símbolos matemáticos
- macOS
- Control+Command+Space e busque por "Not Normal Subgroup Of"
- Linux
- Ctrl+Shift+U 22EA Espaço
- HTML
- ⋪ ou ⋪
Em programacao
Em LaTeX, o símbolo é gerado com o comando `\ntriangleleft`. Na programação, aparece em assistentes de prova matemática (como Lean ou Coq) e linguagens com forte suporte a matemática em Unicode, como Julia, para formalizar teoremas da teoria dos grupos.
Tags
não subgrupo normal
grupo
álgebra
matemática