Contains with Vertical Bar at End of Horizontal Stroke

Contains with Vertical Bar at End of Horizontal Stroke at U+22FB is a specialized mathematical relation sign for a modified “contains as member” or “superset-like” relationship. It is in the Mathematical Operators block, among symbols used to express set membership, containment, ordering, and related formal relations. In practice it is seen mainly in mathematical logic, set theory, and formal specification texts that need a relation distinct from ordinary contains or superset notation. An author might use A ⋻ x as a custom-defined relation meaning that a set, class, type, or structure contains an element under an added condition indicated by the vertical bar; the exact meaning is normally established by the surrounding paper or notation key. It is much less common than ∋, ⊃, or ⊇, so readers should not assume a universal interpretation without context. Its role is usually to preserve a fine distinction in dense symbolic writing, especially in specialist documents converted from TeX-like mathematical notation into Unicode text.