U+22FB "⋻" Contains with Vertical Bar at End of Horizontal Stroke Unicode Character

U+22FB "⋻" Contains with Vertical Bar at End of Horizontal Stroke is a mathematical symbol classified under the "Miscellaneous Mathematical Symbols-A" block, specifically within the subset of binary operators. Its distinctive design features a horizontal stroke that terminates on its left side with a small vertical bar, resembling a short, perpendicular crossbar at the end of a line. This glyph is used in formal logic and set theory to denote a relation of containment that is reversed or modified from the standard "contains" symbol, often indicating that a set or element holds a specific, non-standard inclusion relationship. The character bridges semantic precision with visual clarity, allowing mathematicians to express nuanced logical propositions without ambiguity.