U+22FD "⋽" Contains with Overbar Unicode Character
Unicode Version 17.0
U+22FD "⋽" Contains with Overbar is a mathematical symbol used in set theory and formal logic to denote a modified version of the "contains" relation, typically indicating that a set or element contains something with an additional condition or structural overlay, such as a negation or restriction, signified by the overbar. It belongs to the "Miscellaneous Mathematical Symbols-B" block and is visually composed of the standard "contains" symbol (a reversed, rounded epsilon or "∋") with a horizontal line drawn across its top. This character is supported in certain specialized fonts and encoding systems for precise technical notation, though it remains relatively uncommon in mainstream text. Its primary use is in advanced mathematics or computer science contexts where nuanced relational operators require clear visual distinction.
General Properties
Encodings
| HTML Decimal Encoding |
⋽ |
| HTML Hex Encoding |
⋽ |
| UTF-8 Encoding |
0xE2 0x8B 0xBD |
| UTF-16 Encoding |
0x22FD |
| UTF-32 Encoding |
0x000022FD |
| C/C++/Java Escape |
\u22fd |
Unicode Properties