Unicode Character 'EQUAL TO OR PRECEDES' (U+22DE)

previous character next character

Unicode Data
Name EQUAL TO OR PRECEDES
Block Mathematical Operators
Category Symbol, Math [Sm]
Combine 0
BIDI Other Neutrals [ON]
Mirror Y
Index entries Precedence Signs, Order Relation
Order Relation Precedence Signs
Version Unicode 1.1.0 (June, 1993)
Encodings
HTML Entity (decimal) ⋞
HTML Entity (hex) ⋞
How to type in Microsoft Windows Alt +22DE
UTF-8 (hex) 0xE2 0x8B 0x9E (e28b9e)
UTF-8 (binary) 11100010:10001011:10011110
UTF-16 (hex) 0x22DE (22de)
UTF-16 (decimal) 8,926
UTF-32 (hex) 0x000022DE (22de)
UTF-32 (decimal) 8,926
C/C++/Java source code "\u22DE"
Python source code u"\u22DE"
More...
Java Data
string.toUpperCase()
string.toLowerCase()
Character.UnicodeBlock MATHEMATICAL_OPERATORS
Character.charCount() 1
Character.getDirectionality() DIRECTIONALITY_OTHER_NEUTRALS [13]
Character.getNumericValue() -1
Character.getType() 25
Character.isDefined() Yes
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() Yes
Character.isSpaceChar() No
Character.isSupplementaryCodePoint() No
Character.isTitleCase() No
Character.isUnicodeIdentifierPart() No
Character.isUnicodeIdentifierStart() No
Character.isUpperCase() No
Character.isValidCodePoint() Yes
Character.isWhitespace() No