U+22FD "⋽" Contains with Overbar Unicode Character

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.