U+225D "≝" Equal to by Definition Unicode Character
Unicode Version 17.0
≝
U+225D "≝" Equal to by Definition is a mathematical symbol used to denote that two expressions are identical by definition, often indicating that one side is explicitly defined as equal to the other, rather than being derived or proven. It is commonly employed in formal logic, mathematics, and scientific notation to establish a foundational equivalence in definitions. This symbol combines a standard equals sign with the word "def" written above it, visually reinforcing its role in stipulative definitions.
General Properties
| Code Point | U+225D |
| Version Added | 1.1 |
| Name | Equal to by Definition |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ≝ |
| HTML Hex Encoding | ≝ |
| UTF-8 Encoding | 0xE2 0x89 0x9D |
| UTF-16 Encoding | 0x225D |
| UTF-32 Encoding | 0x0000225D |
| C/C++/Java Escape | \u225d |
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 |