U+2A74 "⩴" Double Colon Equal Unicode Character
Unicode Version 17.0
⩴
U+2A74 "⩴" Double Colon Equal is a mathematical symbol used primarily in formal logic, computer science, and type theory to denote definitional equality or assignment, often indicating that the left-hand side is defined as being equivalent to the right-hand side. It resembles a doubled colon followed by an equals sign, combining the roles of a definitional colon and an equality operator. This character is part of the Supplemental Mathematical Operators block and provides a concise notation for stipulating that a term or variable is explicitly defined by an expression, distinguishing such definitions from mere equations or assertions.
General Properties
| Code Point | U+2A74 |
| Version Added | 3.2 |
| Name | Double Colon Equal |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Compat |
| Decomposition Mapping | ":" U+003A Colon ":" U+003A Colon "=" U+003D Equals Sign |
Encodings
| HTML Decimal Encoding | ⩴ |
| HTML Hex Encoding | ⩴ |
| UTF-8 Encoding | 0xE2 0xA9 0xB4 |
| UTF-16 Encoding | 0x2A74 |
| UTF-32 Encoding | 0x00002A74 |
| C/C++/Java Escape | \u2a74 |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Changes When NFKC Casefolded | Yes |
| NFKC Casefold | ":" U+003A Colon ":" U+003A Colon "=" U+003D Equals Sign |
| NFKC Simple Casefold | ":" U+003A Colon ":" U+003A Colon "=" U+003D Equals Sign |
| 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 |