Not Normal Subgroup Of Or Equal To Symbol
⋬ (U+22EC) denotes “not normal subgroup of or equal to” in formal mathematical relations.
U+22EC
The symbol ⋬, Unicode U+22EC, is a mathematical relation used in group theory notation. It communicates that a subgroup is not a normal subgroup, with an “or equal to” clause. Use it anywhere you need precise, standards-based math text.
Not Normal Subgroup Of Or Equal To Symbol Meaning
⋬ is the Unicode character named “NOT NORMAL SUBGROUP OF OR EQUAL TO” (U+22EC). It is used in formal algebra and group theory to state that a subgroup is not a normal subgroup of a larger group, while also indicating the comparison can include the “or equal to” condition. In practice, it appears in math expressions where authors need to distinguish normal subgroups from non-normal ones with strict relation semantics. If you are writing logic or algebraic statements, prefer this dedicated symbol over approximations to keep your notation unambiguous and typographically consistent.
Common uses
- •Writing group theory statements about subgroups that are not normal (with “or equal to”).
- •Formatting textbook or lecture notes equations using Unicode math symbols.
- •Annotating proofs where normality is explicitly denied for a subgroup relationship.
- •Preparing LaTeX-like math text in editors that rely on Unicode characters.
- •Publishing math content for web, social posts, or documentation with consistent symbols.
Examples
⋬ Not Normal Subgroup of or Equal To
- ⋬Let H ⋬ G.
- ⋬H ⋬ K in this context.
- ⋬We have N ⋬ G, so normality does not hold.
- ⋬The subgroup A ⋬ B is not normal (or equal to).
- ⋬From the definition, H ⋬ G follows.
Variations
Ready to copy
Technical codes
| Unicode | U+22EC | |
| HTML Entity | ⋬ | |
| HTML Code | ⋬ | |
| CSS | \22EC | |
| Alt Code | Alt + 8940 | |
| Decimal | 8940 |
How to type Not Normal Subgroup Of Or Equal To Symbol (⋬)
On Windows
Hold Alt and type 8940 on the numeric keypad. In Word, type 22EC then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22EC. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22ec, then press Enter or Space.
Anywhere
Copy ⋬ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does ⋬ mean?
⋬ (U+22EC) means “NOT NORMAL SUBGROUP OF OR EQUAL TO” in mathematical relation notation.
Where is this symbol typically used?
It’s used in group theory and other formal math writing where subgroup normality is being explicitly negated.
How can I copy ⋬ into HTML?
You can use the HTML entity: ⋬.
Does ⋬ have the same meaning as a “not equals” sign?
No. It is specifically about the normal-subgroup relation (with an “or equal to” condition), not just inequality.