Unicode Character 'PROPORTION' (U+2237)

Image

Encodings
HTML Entity (decimal)	∷
HTML Entity (hex)	∷
How to type in Microsoft Windows	Alt +2237
UTF-8 (hex)	0xE2 0x88 0xB7 (e288b7)
UTF-8 (binary)	11100010:10001000:10110111
UTF-16 (hex)	0x2237 (2237)
UTF-16 (decimal)	8,759
UTF-32 (hex)	0x00002237 (2237)
UTF-32 (decimal)	8,759
C/C++/Java source code	"\u2237"
Python source code	u"\u2237"
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()	No
Character.isSpaceChar()	No
Character.isSupplementaryCodePoint()	No
Character.isTitleCase()	No
Character.isUnicodeIdentifierPart()	No
Character.isUnicodeIdentifierStart()	No
Character.isUpperCase()	No
Character.isValidCodePoint()	Yes
Character.isWhitespace()	No