Small Element of with Vertical Bar at End of Horizontal Stroke

Small Element of with Vertical Bar at End of Horizontal Stroke at U+22F4 is a specialized mathematical relation sign in the Mathematical Operators block, used as a variant of the “is an element of” symbol with an added end bar. It is a printable symbol for formal notation, not a letter or ordinary punctuation mark. In practice it appears mainly in mathematical logic, set theory, and papers that need a family of membership-like relations with subtly different meanings. Authors may use it when distinguishing a special kind of membership, restricted membership, or a relation derived from set inclusion, with the exact interpretation defined by the surrounding text rather than by Unicode itself. It is far less common than the standard element-of sign, so readers usually encounter it in specialist typeset mathematics, symbol tables, or converted TeX documents. Because its shape is close to other element-of variants, reliable interpretation depends on the notation key or definitions in the source, especially in copied formulas or search results.