Contains With Overbar Symbol
⋽ denotes a “contains” relationship marked with an overbar.
U+22FD
The symbol ⋽ is called “Contains with Overbar” (Unicode U+22FD). It’s mainly used in mathematical or technical notation to indicate a modified “contains” relationship. This page helps you copy it safely across text, HTML, and code.
Contains With Overbar Symbol Meaning
⋽ (Unicode U+22FD), named “CONTAINS WITH OVERBAR,” is a mathematical symbol that expresses a “contains” relationship combined with an overbar decoration. In practice, an overbar often signals an additional condition, qualification, or emphasis compared with a plain “contains” sign. Because conventions can vary by textbook or notation style, it’s best to treat ⋽ as a specialized variant used where your source specifically calls for “contains with overbar,” rather than assuming an exact meaning outside that context.
Common uses
- •Indicating a qualified “contains” relation in math typesetting
- •Marking subset/superset-style constraints in formal documents
- •Labeling conditions in lecture notes or proofs
- •Using consistent notation across technical reports and papers
- •Creating diagram or specification text that mirrors formal notation
Examples
⋽ Contains with Overbar Symbol
- ⋽A ⋽ B indicates a contains-with-overbar relationship.
- ⋽We write ⋽ to distinguish this case from the plain contains form.
- ⋽Let S ⋽ T under the additional overbar condition.
- ⋽In the equation, ⋽ marks the qualified containment.
- ⋽The notation ⋽ is used throughout the proof to mean the modified contains relation.
Variations
Ready to copy
Technical codes
| Unicode | U+22FD | |
| HTML Entity | ⋽ | |
| HTML Code | ⋽ | |
| CSS | \22FD | |
| Alt Code | Alt + 8957 | |
| Decimal | 8957 |
How to type Contains With Overbar Symbol (⋽)
On Windows
Hold Alt and type 8957 on the numeric keypad. In Word, type 22FD then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22FD. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22fd, 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 the Contains With Overbar symbol mean?
⋽ (Unicode U+22FD), named “CONTAINS WITH OVERBAR,” is a mathematical symbol that expresses a “contains” relationship combined with an overbar decoration. In practice, an overbar often signals an additional condition, qualification, or emphasis compared with a plain “contains” sign. Because conventions can vary by textbook or notation style, it’s best to treat ⋽ as a specialized variant used where your source specifically calls for “contains with overbar,” rather than assuming an exact meaning outside that context.
What is the Unicode for ⋽?
⋽ is Unicode U+22FD, named “CONTAINS WITH OVERBAR.”
How do I copy ⋽ into HTML?
You can use the HTML entity ⋽.
What is the CSS escape for ⋽?
The CSS escape is \\22FD.
Where is ⋽ typically used?
It’s mainly used in mathematical or technical writing where a “contains” relationship with an overbar decoration is specified.