U+2291 "⊑" Square Image of or Equal To Unicode Character
Unicode Version 17.0
⊑
U+2291 "⊑" Square Image of or Equal To is a mathematical symbol primarily used in lattice theory and order theory to denote that one element is a square image of, or is less than or equal to, another within a partially ordered set or a complete lattice. It often represents a refinement or specialization relation in formal concept analysis and domain theory, where it signifies that one element is contained within or is a substructure of another, such as in the context of information systems or algebraic semantics. The symbol is closely related to the "square image of" relation and is the counterpart to U+2290 "⊐" (Square Image of), with the horizontal line underneath indicating the possibility of equality, not solely strict ordering.
General Properties
| Code Point | U+2291 |
| Version Added | 1.1 |
| Name | Square Image of or Equal To |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⊒" U+2292 Square Original of or Equal To |
Encodings
| HTML Decimal Encoding | ⊑ |
| HTML Hex Encoding | ⊑ |
| UTF-8 Encoding | 0xE2 0x8A 0x91 |
| UTF-16 Encoding | 0x2291 |
| UTF-32 Encoding | 0x00002291 |
| C/C++/Java Escape | \u2291 |
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 |