Unicode Character 'LEIBNIZIAN DIVISION SIGN' (U+1CEF1) |
  |
LEIBNIZIAN DIVISION SIGN
LEIBNIZIAN DIVISION SIGN
| Name | LEIBNIZIAN DIVISION SIGN |
| Block | Miscellaneous Symbols Supplement |
| Category | Symbol, Math [Sm] |
| Script | Common (Zyyy) |
| Combine | 0 |
| BIDI | Other Neutrals [ON] |
| Comments | Formal Alias: division |
| See Also | division sign U+00F7 division slash U+2215 metrical breve U+23D1 lower half circle U+25E1 |
| Version | Unicode 18.0 (September 2026) |
| HTML Entity (decimal) | 𜻱 |
| HTML Entity (hex) | 𜻱 |
| How to type in Microsoft Windows | Alt +1CEF1 |
| UTF-8 (hex) | 0xF0 0x9C 0xBB 0xB1 (f09cbbb1) |
| UTF-8 (binary) | 11110000:10011100:10111011:10110001 |
| UTF-16 (hex) | 0xD833 0xDEF1 (d833def1) |
| UTF-16 (decimal) | 55,347 57,073 |
| UTF-32 (hex) | 0x0001CEF1 (1cef1) |
| UTF-32 (decimal) | 118,513 |
| C/C++/Java source code | "\uD833\uDEF1" |
| Python source code | u"\U0001CEF1" |
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | |
| string.toLowerCase() | |
| Character.UnicodeBlock | (none) |
| Character.charCount() | 2 |
| Character.getDirectionality() | DIRECTIONALITY_UNDEFINED [-1] |
| Character.getNumericValue() | -1 |
| Character.getType() | 0 |
| Character.isDefined() | No |
| Character.isDigit() | No |
| Character.isIdentifierIgnorable() | No |
| Character.isISOControl() | No |
| Character.isJavaIdentifierPart() | No |
| Character.isJavaIdentifierStart() | No |
| Character.isLetter() | No |
| Character.isLetterOrDigit() | No |
| Character.isLowerCase() | No |
| Character.isMirrored() | No |
| Character.isSpaceChar() | No |
| Character.isSupplementaryCodePoint() | Yes |
| Character.isTitleCase() | No |
| Character.isUnicodeIdentifierPart() | No |
| Character.isUnicodeIdentifierStart() | No |
| Character.isUpperCase() | No |
| Character.isValidCodePoint() | Yes |
| Character.isWhitespace() | No |
