U+22F9 "⋹" Element of with Two Horizontal Strokes Unicode Character

U+22F9 "⋹" Element of with Two Horizontal Strokes is a mathematical symbol used in set theory and logic to represent a specific variant of the element-of relation, wherein the typical single horizontal stroke through the epsilon-like symbol is replaced by two parallel horizontal strokes. This notation often indicates a modified or restricted membership, such as "is not an element of" in certain contexts, or it can denote a relation where an element belongs to a set in a qualified or alternative manner, distinct from the standard "∈" symbol. Its usage is less common than the basic element-of or not-element-of characters, but it appears in advanced mathematical texts to convey subtle set-theoretic distinctions or in specific formal logic systems.