≝
Copy to Clipboard
EQUAL TO BY DEFINITION
General information
| ID | 8797 |
| HEX | 225d |
| Char | ≝ |
| Char type | Math_Symbol |
| Unicode name | EQUAL TO BY DEFINITION |
| Extended name | EQUAL TO BY DEFINITION |
| Unicode group | Mathematical Operators |
| Unicode Code Point | U+225D |
Conversion (How to escape ≝)
| HTML Entity (decimal) | ≝ |
| HTML Entity (hex) | ≝ |
| URL Encoded | %E2%89%9D |
| C / C++ / Java | "\u225D" |
| Javascript (UTF-16) | "\u225D" |
| Javascript | "\u{225D}" |
| Python | u"\u225D" |
| CSS | \225D |
| CSS | \00225D |
How to type ≝
| Microsoft Office | write 225d then press Alt + X |
| Microsoft Office (alternative) | write U+225d then press Alt + X |
| Apple Mac | Hold Alt, type 2 2 5 D then release |
| Apple Mac (alternative) | Hold Option, type 2 2 5 D then release |
| Unix GTK | Hold Ctrl + Shift, type u 2 2 5 D, then release. |
| Unix GTK (Alternative) | Press Ctrl + Shift + u, type 2 2 5 D, then press Enter. |
UTF Encodings
| UTF-8 (hex) | E2 89 9D |
| UTF-8 (octal) | 342 211 235 |
| UTF-8 (binary) | 11100010 10001001 10011101 |
| UTF-16 (hex) | 22 5D |
| UTF-16 (octal) | 42 135 |
| UTF-16 (binary) | 00100010 01011101 |
| UTF-32 (hex) | 00 00 22 5D |
| UTF-32 (octal) | 000 000 021 135 |
| UTF-32 (binary) | 00000000 00000000 00100010 01011101 |
IMAGE