U+22F8 "⋸" Element of with Underbar Unicode Character

U+22F8 "⋸" Element of with Underbar is a mathematical symbol used in set theory and logic to denote that an element belongs to a set, with an additional horizontal line or bar placed beneath the standard "element of" symbol, which often indicates a variation in meaning such as a specific type of membership, a subset relation, or a contextual constraint within formal proofs or algebraic structures.