U+22FE "⋾" Small Contains with Overbar Unicode Character

U+22FE "⋾" Small Contains with Overbar is a mathematical symbol belonging to the Supplemental Mathematical Operators block, designed to represent a set containment or inclusion relation in which one structure contains another, while the small letter shape and the overbar (or overscore) distinguish it from the standard "contains" sign. It is typically used in advanced mathematics, particularly in logic, set theory, and formal algebra, to denote a variant or specialized form of containment where the overbar may indicate negation or a structural modification such as closure or complement. This character is often employed in scholarly texts and technical documents to provide precise notation for relations that differ subtly from the more common "contains as an element" or "subset" symbols.