U+22FF "⋿" Z Notation Bag Membership Unicode Character
Unicode Version 17.0
⋿
U+22FF "⋿" Z Notation Bag Membership is a mathematical symbol used in the Z notation formal specification language to represent the concept of membership within a bag, also known as a multiset. Unlike a set, a bag allows duplicate elements, and this character specifically denotes that an element appears a certain number of times within that collection. It functions as a typed relational operator, connecting an element to a bag by counting its multiplicity, and is integral to formal methods in computer science for precisely modeling data structures with repeated items. Its inclusion in Unicode ensures that this specialized notation can be consistently represented in digital documents and software dealing with formal mathematics.
General Properties
| Code Point | U+22FF |
| Version Added | 3.2 |
| Name | Z Notation Bag Membership |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
Encodings
| HTML Decimal Encoding | ⋿ |
| HTML Hex Encoding | ⋿ |
| UTF-8 Encoding | 0xE2 0x8B 0xBF |
| UTF-16 Encoding | 0x22FF |
| UTF-32 Encoding | 0x000022FF |
| C/C++/Java Escape | \u22ff |
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 |