| HTML Entity (dec) | 𝔵 |
| HTML Entity (hex) | 𝔵 |
| UTF-8 (hex) | 0xf09d94b5 / 0xf0 0x9d 0x94 0xb5 (4 bytes) |
| UTF-8 (dec) | 240, 157, 148, 181 (4 bytes) |
| UTF-16-BE (hex) | 0xd835dd35 / 0xd8 0x35 0xdd 0x35 (4 bytes) |
| UTF-16-BE (dec) | 216, 53, 221, 53 (4 bytes) |
| UTF-32-BE (hex) | 0x1d535 / 0x00 0x01 0xd5 0x35 (4 bytes) |
| UTF-32-BE (dec) | 0, 1, 213, 53 (4 bytes) |
| C/C++/Java source code | "\u1d535" |
| Python source code | "\u1d535" |