U+22F2 "⋲" Element of with Long Horizontal Stroke Unicode Character

U+22F2 "⋲" Element of with Long Horizontal Stroke is a mathematical symbol used in set theory and logic to denote a membership relationship, specifically indicating that an element belongs to a set, but distinguished from the standard "element of" symbol (∈) by its elongated horizontal stroke. This longer stroke can be employed for stylistic clarity in certain notations, to represent a modified or emphasized membership relation in formal proofs, or to avoid visual confusion in dense mathematical expressions where the standard symbol might appear too compact. Its usage is primarily found in specialized academic contexts, such as advanced algebra or type theory, where precision in typographic representation is essential.