Small Contains With Overbar Symbol
⋾ is the small “contains” relation marked with an overbar, used for specialized mathematical notation.
U+22FE
⋾ (small contains with overbar) is a Unicode math symbol used to represent a specific “contains” style relation. It’s commonly seen in formal math typesetting and technical writing. This page helps you copy the character reliably across platforms.
Small Contains With Overbar Symbol Meaning
The symbol “⋾” is named SMALL CONTAINS WITH OVERBAR (Unicode U+22FE). In mathematical notation, it denotes a “contains” relation with an overbar, distinguishing it from plain “contains” symbols. The overbar often signals a particular variant used in definitions, constraints, or specialized logic/ set-relation conventions. Because the exact semantics depend on the surrounding formal system (for example, a specific math text, textbook, or stylesheet), it’s best used in contexts where the overbar variant is defined. If you’re matching existing notation from a source, copy the symbol exactly to preserve meaning.
Common uses
- •Writing or annotating set-relation statements in math notes and papers
- •Formatting specialized logic or constraint conditions in technical documents
- •Creating consistent symbol styling in math-heavy reports or theses
- •Labeling elements in diagrams or explanations that reference overbar “contains” relations
- •Adding the exact Unicode symbol to software documentation or comments
Examples
⋾ Small Contains with Overbar
- ⋾A ⋾ B indicates a contains-with-overbar relation in the given definition.
- ⋾We write x ⋾ S to follow the notation from the previous section.
- ⋾If ⋾ is used, keep it consistent with the source’s symbol meanings.
- ⋾The constraint is expressed using ⋾ alongside other relation symbols.
- ⋾In the appendix, the overbar variant is denoted by ⋾.
Variations
Ready to copy
Technical codes
| Unicode | U+22FE | |
| HTML Entity | ⋾ | |
| HTML Code | ⋾ | |
| CSS | \22FE |
FAQ
What does ⋾ mean?
⋾ is the Unicode math symbol SMALL CONTAINS WITH OVERBAR (U+22FE). It represents a “contains” relation variant marked with an overbar; the exact meaning depends on the surrounding notation system.
How can I copy ⋾ into HTML?
You can use the HTML entity ⋾ wherever your content supports HTML entities.
How do I type or insert ⋾ in CSS or JavaScript?
For CSS escape, use \\22FE. For JavaScript, you can use \\u{22FE} (Unicode code point U+22FE).
Will this symbol display the same everywhere?
Most modern fonts and math-capable environments support it. If it doesn’t render, try a different Unicode-capable font or copy the character again from the exact source.