Neither A Superset Of Nor Equal To Symbol
⊉ indicates “neither a superset of nor equal to” in formal comparisons.
U+2289
The symbol ⊉ is a logic and set-theory operator used in mathematical notation. It expresses that one set is not a superset and also not equal to another. This makes it useful when you need a strict “not at least as large” relationship.
Neither A Superset Of Nor Equal To Symbol Meaning
⊉ is pronounced as “neither a superset of nor equal to.” In set-theory comparisons, it states that a given set does not contain the other set in a way that would include equality: the first set is neither a superset of the second nor equal to it. Practically, this means you’re ruling out both cases—“A contains B” and “A equals B”—while still relating the two objects through the superset/equality idea. In documents, slides, and math content, ⊉ helps communicate a precise exclusion condition rather than a generic “not.”
Common uses
- •Stating a strict set comparison that rules out both superset and equality
- •Writing conditions in logic proofs where equality must be excluded
- •Annotating diagrams or tables that classify subset/superset relationships
- •Formulating constraints in technical documents and academic notes
- •Indicating an invalid or non-matching case in formal specifications
Examples
⊉ Not a Superset or Equal To
- ⊉A ⊉ B (A is neither a superset of nor equal to B).
- ⊉If X ⊉ Y, then X does not contain Y and is not equal.
- ⊉The relation R satisfies: S ⊉ T for this case.
- ⊉We exclude equality by requiring U ⊉ V.
- ⊉For all i, A_i ⊉ A_{i+1} holds in the given dataset.
Variations
Ready to copy
Technical codes
| Unicode | U+2289 | |
| HTML Entity | ⊉ | |
| HTML Code | ⊉ | |
| CSS | \2289 |
FAQ
What does ⊉ mean in set theory?
It means “neither a superset of nor equal to,” i.e., the first set is not a superset and also not equal to the second.
Is ⊉ the same as “not equal to” (≠)?
No. ⊉ excludes both “superset” and “equality” cases in the context of set comparison, while ≠ only addresses equality.
When should I use ⊉ instead of just “not a superset”?
Use ⊉ when you specifically need to rule out the equality case as well—not only “not a superset,” but also “not equal.”
How can I copy ⊉ into code or markup?
You can copy the character directly (⊉), or use the HTML entity ⊉ / CSS escape \\2289 / JavaScript escape \\u{2289}.