U+22F4 "⋴" Small Element of with Vertical Bar at End of Horizontal Stroke Unicode Character
Unicode Version 17.0
U+22F4 "⋴" Small Element of with Vertical Bar at End of Horizontal Stroke is a mathematical symbol used primarily in set theory and logic to denote a variant of the "element of" relation, where the standard membership symbol (∈) is modified with a small vertical bar attached to the right end of its horizontal stroke. This distinctive addition typically indicates a restricted or qualified form of set membership, such as "is an element of but with a specific property" or a partial containment relationship, depending on the notational conventions of the context. The character is included in the Mathematical Operators block of Unicode, making it available for use in technical documents, academic papers, and digital typesetting that require precise symbolic representation of specialized relational concepts.
General Properties
Encodings
| HTML Decimal Encoding |
⋴ |
| HTML Hex Encoding |
⋴ |
| UTF-8 Encoding |
0xE2 0x8B 0xB4 |
| UTF-16 Encoding |
0x22F4 |
| UTF-32 Encoding |
0x000022F4 |
| C/C++/Java Escape |
\u22f4 |
Unicode Properties