Unicode Character 'THERE EXISTS' (U+2203)

previous character next character

Unicode Data
Name THERE EXISTS
Block Mathematical Operators
Category Symbol, Math [Sm]
Combine 0
BIDI Other Neutrals [ON]
Mirror Y
Index entries EXISTS, THERE
quantifier, existential
THERE EXISTS
existential quantifier
Comments existential quantifier
Version Unicode 1.1.0 (June, 1993)
Encodings
HTML Entity (decimal) ∃
HTML Entity (hex) ∃
HTML Entity (named) ∃
How to type in Microsoft Windows Alt +2203
UTF-8 (hex) 0xE2 0x88 0x83 (e28883)
UTF-8 (binary) 11100010:10001000:10000011
UTF-16 (hex) 0x2203 (2203)
UTF-16 (decimal) 8,707
UTF-32 (hex) 0x00002203 (2203)
UTF-32 (decimal) 8,707
C/C++/Java source code "\u2203"
Python source code u"\u2203"
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