U+22FC "⋼" Small Contains with Vertical Bar at End of Horizontal Stroke Unicode Character

U+22FC "⋼" Small Contains with Vertical Bar at End of Horizontal Stroke is a mathematical symbol primarily used in set theory and logic to denote a variation of the "contains" relationship, often indicating a modified or restricted containment where the vertical bar at the end of the horizontal stroke may represent a specific constraint or condition, such as a subscript or a functional modification. It belongs to the "Miscellaneous Mathematical Symbols-A" block and is designed for precise notation in formal systems, distinguishing it from the standard "contains as member" symbol (U+220B ∋) by its smaller size and additional stroke detail. This character can be employed in academic texts or computer science contexts to express nuanced relational operations, though it remains less common than its simpler counterparts.