U+22F7 "⋷" Small Element of with Overbar Unicode Character
Unicode Version 17.0
⋷
U+22F7 "⋷" Small Element of with Overbar is a mathematical symbol that represents a variant of the set membership relation, specifically indicating that an element is a member of a set under some additional condition or modified context, as denoted by the overbar. It belongs to the "Mathematical Operators" block and is primarily used in formal logic, set theory, and advanced mathematics to express a constrained or exclusive form of inclusion. This character can be utilized in academic texts or technical documents where precise symbolic notation is required, and it is typically rendered in a slightly smaller size compared to the standard element-of symbol to distinguish its specialized meaning.
General Properties
| Code Point | U+22F7 |
| Version Added | 3.2 |
| Name | Small Element of with Overbar |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⋾" U+22FE Small Contains with Overbar |
Encodings
| HTML Decimal Encoding | ⋷ |
| HTML Hex Encoding | ⋷ |
| UTF-8 Encoding | 0xE2 0x8B 0xB7 |
| UTF-16 Encoding | 0x22F7 |
| UTF-32 Encoding | 0x000022F7 |
| C/C++/Java Escape | \u22f7 |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| NFKC Quick Check | Yes |
| NFKD Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |