| HTML Entity (dec) | ⌉ |
| HTML Entity (hex) | ⌉ |
| UTF-8 (hex) | 0xe28c89 / 0xe2 0x8c 0x89 (3 bytes) |
| UTF-8 (dec) | 226, 140, 137 (3 bytes) |
| UTF-16-BE (hex) | 0x2309 / 0x23 0x09 (2 bytes) |
| UTF-16-BE (dec) | 35, 9 (2 bytes) |
| UTF-32-BE (hex) | 0x2309 / 0x00 0x00 0x23 0x09 (4 bytes) |
| UTF-32-BE (dec) | 0, 0, 35, 9 (4 bytes) |
| C/C++/Java source code | "\u2309" |
| Python source code | "\u2309" |