U+22F3 "⋳" Element of with Vertical Bar at End of Horizontal Stroke Unicode Character

U+22F3 "⋳" Element of with Vertical Bar at End of Horizontal Stroke is a mathematical symbol used primarily in set theory and logic to represent a modified version of the standard "element of" relation. It resembles the familiar ∈ symbol but features a small vertical bar attached to the right end of its horizontal stroke, which typically indicates a restricted or variant form of membership. This character is part of the Supplemental Mathematical Operators block and is most commonly employed in formal notations where a distinction is needed between different types of set inclusion or relational membership. While not as widely used as the basic element of sign, it serves a precise role in advanced mathematical writing and specialized logical contexts.