U+22F3 "⋳" Element of with Vertical Bar at End of Horizontal Stroke Unicode Character
Unicode Version 17.0
U+22F3 "⋳" Element of with Vertical Bar at End of Horizontal Stroke is a mathematical symbol used primarily in set theory and logic to represent a modified version of the standard "element of" relation. It resembles the familiar ∈ symbol but features a small vertical bar attached to the right end of its horizontal stroke, which typically indicates a restricted or variant form of membership. This character is part of the Supplemental Mathematical Operators block and is most commonly employed in formal notations where a distinction is needed between different types of set inclusion or relational membership. While not as widely used as the basic element of sign, it serves a precise role in advanced mathematical writing and specialized logical contexts.
General Properties
Encodings
| HTML Decimal Encoding |
⋳ |
| HTML Hex Encoding |
⋳ |
| UTF-8 Encoding |
0xE2 0x8B 0xB3 |
| UTF-16 Encoding |
0x22F3 |
| UTF-32 Encoding |
0x000022F3 |
| C/C++/Java Escape |
\u22f3 |
Unicode Properties