Does Not Contain As Normal Subgroup Symbol
⋫ is the “does not contain as normal subgroup” symbol used in algebra and group theory.
U+22EB
The symbol “⋫” represents a specific logical relationship in group theory. It is commonly used when a group is said not to contain a certain normal subgroup. You can copy it for math writing, notes, or software that supports Unicode.
Does Not Contain As Normal Subgroup Symbol Meaning
⋫ (Unicode U+22EB) is named “does not contain as normal subgroup.” In group theory, it expresses that one group does not have a specified normal subgroup within it. More precisely, it’s used to state a negative containment condition involving normal subgroups. When you write equations or statements about group structure, this symbol helps distinguish between cases where a normal subgroup exists versus cases where it does not. It’s a niche algebra symbol, so it appears most often in textbooks, problem sets, and technical writing where group properties are being compared or ruled out.
Common uses
- •Writing group theory statements that explicitly negate normal subgroup containment
- •Annotating proofs or solutions where a proposed normal subgroup does not exist
- •Labeling conditions in algebra exercises and worksheets about subgroup structure
- •Building clear mathematical notation in documents (e.g., LaTeX/Unicode math content)
- •Formulating checks or constraints in educational or reference materials
Examples
⋫ — does not contain as normal subgroup
- ⋫G ⋫ N (G does not contain N as a normal subgroup)
- ⋫H ⋫ K, since K cannot be normal in H
- ⋫⋫ appears when ruling out a candidate normal subgroup in a proof
- ⋫The statement uses ⋫ to indicate the absence of a normal subgroup
- ⋫In the solution, we conclude that ⋫ holds for the given groups
Variations
Ready to copy
Technical codes
| Unicode | U+22EB | |
| HTML Entity | ⋫ | |
| HTML Code | ⋫ | |
| CSS | \22EB |
FAQ
What does the symbol ⋫ mean?
⋫ means “does not contain as normal subgroup,” a notation used in group theory to state that a specified normal subgroup is not contained.
What is the Unicode code point for ⋫?
The symbol ⋫ is Unicode U+22EB.
How can I copy ⋫ into my work?
Copy the character “⋫” directly from this page, or use the provided HTML entity (⋫) or escapes (\\22EB, \\u{22EB}).
Where is ⋫ typically used?
It’s mainly used in algebra and group theory writing—proofs, exercises, and technical notes where normal subgroup containment is discussed.