Contains with Overbar

Contains with Overbar at U+22FD is a mathematical relation symbol meaning “does not contain as a member” or a negated form of the set-containment relation. It belongs to the Mathematical Operators block and visually combines the contains sign with an overbar to indicate denial or negation. Its main use is in set theory and mathematical logic, where it states that a set does not contain a particular element. For example, a statement such as A ⋽ x can be read as “A does not contain x,” though many authors instead write the more familiar negated membership expression with the element on the left. It may also appear in formal specifications, theorem-proving texts, or symbol-heavy reference tables where relations are kept in paired positive and negative forms. In ordinary textbooks and classroom writing it is uncommon, because writers usually prefer standard membership notation, words like “is not in,” or a slashed containment symbol if their font and tools support it. Because this character is specialized, it can be missing from basic math fonts or be substituted by a fallback glyph; it should not be confused with the similar contains sign without the overbar, which asserts containment rather than negating it.