Does Not Contain As Normal Subgroup Or Equal Symbol
⋭ is a mathematical relation meaning “does not contain as normal subgroup or equal.”
U+22ED
The symbol ⋭ (U+22ED) is used in mathematical writing for a specific relation between algebraic objects. It’s commonly seen in formal logic and group-theory style notation. Use the copy options below to paste it reliably.
Does Not Contain As Normal Subgroup Or Equal Symbol Meaning
⋭ is a relation symbol from Unicode whose name is “DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL.” In math contexts, it expresses that one structure does not contain another as a normal subgroup, and it also rules out the possibility of equality in the same statement. Put simply, it’s used when you want to assert a strong “not contained in that normal/subgroup sense” condition. Because it is an operator-like symbol rather than punctuation, it’s typically used inside formulas, proofs, or structured definitions, often alongside other subgroup containment or equality/inequality notations.
Common uses
- •Writing group theory statements about normal subgroups and containment conditions
- •Annotating proofs where a subgroup relationship is explicitly ruled out
- •Labeling constraints in algebraic definitions or theorem hypotheses
- •Typesetting formal logic or set/group relations in academic documents
- •Creating math notes, slides, or worksheets that require precise symbolic notation
Examples
⋭ Does not contain as normal subgroup or equal
- ⋭For groups G and H, write G ⋭ H to indicate the relation fails in the normal-subgroup sense.
- ⋭In a proof, state that K ⋭ N when K is not a normal subgroup of N (and not equal).
- ⋭Use A ⋭ B to express that A does not contain B as a normal subgroup or equal element.
- ⋭When comparing subgroups, include ⋭ to avoid ambiguity about equality vs containment.
- ⋭In coursework, replace a “not” condition with ⋭ for a compact formal statement.
Variations
Ready to copy
Technical codes
| Unicode | U+22ED | |
| HTML Entity | ⋭ | |
| HTML Code | ⋭ | |
| CSS | \22ED |
FAQ
What does the Does Not Contain As Normal Subgroup Or Equal symbol mean?
⋭ is a relation symbol from Unicode whose name is “DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL.” In math contexts, it expresses that one structure does not contain another as a normal subgroup, and it also rules out the possibility of equality in the same statement. Put simply, it’s used when you want to assert a strong “not contained in that normal/subgroup sense” condition. Because it is an operator-like symbol rather than punctuation, it’s typically used inside formulas, proofs, or structured definitions, often alongside other subgroup containment or equality/inequality notations.
What is the Unicode code point for ⋭?
The symbol ⋭ has Unicode code point U+22ED.
How do I copy ⋭ into HTML?
Use the HTML entity: ⋭
What do the name and meaning of ⋭ indicate?
It is named “DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL,” meaning the relation excludes both normal-subgroup containment and equality.
Is ⋭ meant for plain text or math formulas?
It’s primarily intended for math notation within formulas, proofs, and formal documents.