Source: Noto Sans Math

U+2204 There Does Not Exist

U+2204 was added in Unicode version 1.1 in 1993. It belongs to the block U+2200 to U+22FF Mathematical Operators in the U+0000 to U+FFFF Basic Multilingual Plane.

This character is a Math Symbol and is commonly used, that is, in no specific script.

The glyph is a canonical composition of the glyphs There Exists, Combining Long Solidus Overlay. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored. The word that U+2204 forms with similar adjacent characters prevents a line break inside it.

The Wikipedia has the following information about this codepoint:

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.
Quantification in general is covered in the article on quantification (logic). The existential quantifier is encoded as U+2203 ∃ THERE EXISTS in Unicode, and as exists in LaTeX and related formula editors.

Representations

System	Representation (click value to copy)
Nº	8708
UTF-8	E2 88 84
UTF-16	22 04
UTF-32	00 00 22 04
URL-Quoted	%E2%88%84
HTML hex reference	∄
Wrong windows-1252 Mojibake	âˆ„
HTML named entity	&NotExists;
HTML named entity	&nexist;
HTML named entity	&nexists;
Encoding: GB18030 (hex bytes)	81 36 D2 30
LATEX	\nexists
RFC 5137	\u'2204'
Bash and Zsh inside `echo -e`	\u2204
C and C++	\u2204
C#	\u2204
CSS	\002204
Excel	=UNICHAR(8708)
Go	\u2204
JavaScript	\u2204
Modern JavaScript since ES6	\u{2204}
JSON	\u2204
Java	\u2204
Lua	\u{2204}
Matlab	char(8708)
Perl	"\x{2204}"
PHP	\u{2204}
PostgreSQL	U&'\2204'
PowerShell	`u{2204}
Python	\u2204
Ruby	\u{2204}
Rust	\u{2204}
Click the star button next to each label to set this representation as favorite or remove it from the favorites. Favorites will be shown initially. (Favorites are stored locally on your computer and never sent over the internet.)

Elsewhere

Complete Record

Property	Value
Age (age)	1.1 (1993)
Unicode Name (na)	THERE DOES NOT EXIST
Unicode 1 Name (na1)	—
Block (blk)	Mathematical Operators
General Category (gc)	Math Symbol
Script (sc)	Common
Bidirectional Category (bc)	Other Neutral
Combining Class (ccc)	Not Reordered
Decomposition Type (dt)	canonical
Decomposition Mapping (dm)	There Exists Combining Long Solidus Overlay
Lowercase (Lower)	✘
Simple Lowercase Mapping (slc)	There Does Not Exist
Lowercase Mapping (lc)	There Does Not Exist
Uppercase (Upper)	✘
Simple Uppercase Mapping (suc)	There Does Not Exist
Uppercase Mapping (uc)	There Does Not Exist
Simple Titlecase Mapping (stc)	There Does Not Exist
Titlecase Mapping (tc)	There Does Not Exist
Case Folding (cf)	There Does Not Exist
ASCII Hex Digit (AHex)	✘
Alphabetic (Alpha)	✘
Bidi Control (Bidi_C)	✘
Bidi Mirrored (Bidi_M)	✔
Composition Exclusion (CE)	✘
Case Ignorable (CI)	✘
Changes When Casefolded (CWCF)	✘
Changes When Casemapped (CWCM)	✘
Changes When NFKC Casefolded (CWKCF)	✘
Changes When Lowercased (CWL)	✘
Changes When Titlecased (CWT)	✘
Changes When Uppercased (CWU)	✘
Cased (Cased)	✘
Full Composition Exclusion (Comp_Ex)	✘
Default Ignorable Code Point (DI)	✘
Dash (Dash)	✘
Deprecated (Dep)	✘
Diacritic (Dia)	✘
Emoji Modifier Base (EBase)	✘
Emoji Component (EComp)	✘
Emoji Modifier (EMod)	✘
Emoji Presentation (EPres)	✘
Emoji (Emoji)	✘
Extender (Ext)	✘
Extended Pictographic (ExtPict)	✘
FC NFKC Closure (FC_NFKC)	There Does Not Exist
Grapheme Cluster Break (GCB)	Any
Grapheme Base (Gr_Base)	✔
Grapheme Extend (Gr_Ext)	✘
Grapheme Link (Gr_Link)	✘
Hex Digit (Hex)	✘
Hyphen (Hyphen)	✘
ID Continue (IDC)	✘
ID Start (IDS)	✘
IDS Binary Operator (IDSB)	✘
IDS Trinary Operator and (IDST)	✘
IDSU (IDSU)	0
ID_Compat_Math_Continue (ID_Compat_Math_Continue)	0
ID_Compat_Math_Start (ID_Compat_Math_Start)	0
Ideographic (Ideo)	✘
InCB (InCB)	None
Indic Mantra Category (InMC)	—
Indic Positional Category (InPC)	NA
Indic Syllabic Category (InSC)	Other
Jamo Short Name (JSN)	—
Join Control (Join_C)	✘
Logical Order Exception (LOE)	✘
Modifier Combining Mark (MCM)	✘
Math (Math)	✔
Noncharacter Code Point (NChar)	✘
NFC Quick Check (NFC_QC)	Yes
NFD Quick Check (NFD_QC)	No
NFKC Casefold (NFKC_CF)	There Does Not Exist
NFKC Quick Check (NFKC_QC)	Yes
NFKC_SCF (NFKC_SCF)	There Does Not Exist
NFKD Quick Check (NFKD_QC)	No
Other Alphabetic (OAlpha)	✘
Other Default Ignorable Code Point (ODI)	✘
Other Grapheme Extend (OGr_Ext)	✘
Other ID Continue (OIDC)	✘
Other ID Start (OIDS)	✘
Other Lowercase (OLower)	✘
Other Math (OMath)	✘
Other Uppercase (OUpper)	✘
Prepended Concatenation Mark (PCM)	✘
Pattern Syntax (Pat_Syn)	✔
Pattern White Space (Pat_WS)	✘
Quotation Mark (QMark)	✘
Regional Indicator (RI)	✘
Radical (Radical)	✘
Sentence Break (SB)	Other
Soft Dotted (SD)	✘
Sentence Terminal (STerm)	✘
Terminal Punctuation (Term)	✘
Unified Ideograph (UIdeo)	✘
Variation Selector (VS)	✘
Word Break (WB)	Other
White Space (WSpace)	✘
XID Continue (XIDC)	✘
XID Start (XIDS)	✘
Expands On NFC (XO_NFC)	✘
Expands On NFD (XO_NFD)	✔
Expands On NFKC (XO_NFKC)	✘
Expands On NFKD (XO_NFKD)	✔
Bidi Paired Bracket (bpb)	There Does Not Exist
Bidi Paired Bracket Type (bpt)	None
East Asian Width (ea)	neutral
Hangul Syllable Type (hst)	Not Applicable
ISO 10646 Comment (isc)	—
Joining Group (jg)	No_Joining_Group
Joining Type (jt)	Non Joining
Line Break (lb)	Alphabetic
Numeric Type (nt)	none
Numeric Value (nv)	not a number
Simple Case Folding (scf)	There Does Not Exist
Script Extension (scx)
Vertical Orientation (vo)	R