U+22F4 "⋴" Small Element of with Vertical Bar at End of Horizontal Stroke Unicode Character

U+22F4 "⋴" Small Element of with Vertical Bar at End of Horizontal Stroke is a mathematical symbol used primarily in set theory and logic to denote a variant of the "element of" relation, where the standard membership symbol (∈) is modified with a small vertical bar attached to the right end of its horizontal stroke. This distinctive addition typically indicates a restricted or qualified form of set membership, such as "is an element of but with a specific property" or a partial containment relationship, depending on the notational conventions of the context. The character is included in the Mathematical Operators block of Unicode, making it available for use in technical documents, academic papers, and digital typesetting that require precise symbolic representation of specialized relational concepts.