Start: go to the homepage U+2200 bis U+22FF Mathematical Operators
Zeichen für U+2203
Quelle: Noto Sans Math

U+2203 There Exists

U+2203 wurde in Version 1.1 in 1993 zu Unicode hinzugefügt. Er gehört zum Block U+2200 bis U+22FF Mathematical Operators in der U+0000 bis U+FFFF Basic Multilingual Plane.

Dieses Zeichen ist ein Math Symbol und wird allgemein verwendet, das heißt, in keiner speziellen Schrift. Das Schriftzeichen ist auch bekannt als existential quantifier.

Das Zeichen ist keine Zusammensetzung. Seine Weite in ostasiatischen Texten wird vom Kontext bestimmt. Es kann weit oder schmal sein. In bidirektionalem Text handelt es als Other Neutral. Bei einem Richtungswechsel wird es gespiegelt. Wenn seine ostasiatische Weite „schmal“ ist, bildet U+2203 mit ähnlichen Zeichen ein Wort, das in sich Zeilenumbrüche verbietet. Andernfalls erlaubt es Zeilenumbrüche um sich herum, außer in einigen numerischen Kontexten. Der Buchstabe kann mit einem anderen Zeichen verwechselt werden.

Das CLDR-Projekt bezeichnet dieses Zeichen mit „es existiert“ für die Verwendung in Screenreader-Software.

Die Wikipedia hat die folgende Information zu diesem Codepunkt:

Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden.

Die beiden gebräuchlichsten Quantoren sind der Existenzquantor (in natürlicher Sprache zum Beispiel als „mindestens ein“ ausgedrückt) und der Allquantor (in natürlicher Sprache zum Beispiel als „alle“ oder „jede/r/s“ ausgedrückt). Andere Arten von Quantoren sind Anzahlquantoren wie „ein“ oder „zwei“, die sich auf Existenz- beziehungsweise Allquantor zurückführen lassen, und Quantoren wie „manche“, „einige“ oder „viele“, die auf Grund ihrer Unbestimmtheit, im Gegensatz etwa zu „alle“ oder „kein(e)“, in der klassischen Logik nicht verwendet werden.

Darstellungen

System Darstellung
Nr. 8707
UTF-8 E2 88 83
UTF-16 22 03
UTF-32 00 00 22 03
URL-kodiert %E2%88%83
HTML hex reference ∃
Falsches windows-1252-Mojibake ∃
HTML named entity ∃
HTML named entity ∃
Alias existential quantifier
Kodierung: EUC-KR (Hex-Bytes) A2 A4
Kodierung: JIS0208 (Hex-Bytes) A2 D0
LATEX \exists
Adobe Glyph List existential
Adobe Glyph List thereexists
Digraph TE

Verwandte Schriftzeichen

Verwechselbare

Anderswo

Vollständiger Eintrag

Eigenschaft Wert
Alter (age) 1.1 (1993)
Unicode-Name (na) THERE EXISTS
Unicode-1-Name (na1)
Block (blk) Mathematical Operators
Allgemeine Kategorie (gc) Math Symbol
Schrift (sc) Common
Bidirectional Category (bc) Other Neutral
Combining Class (ccc) Not Reordered
Dekompositionstyp (dt) none
Decomposition Mapping (dm) Zeichen für U+2203 There Exists
Kleinbuchstabe (Lower)
Simple Lowercase Mapping (slc) Zeichen für U+2203 There Exists
Lowercase Mapping (lc) Zeichen für U+2203 There Exists
Großbuchstabe (Upper)
Simple Uppercase Mapping (suc) Zeichen für U+2203 There Exists
Uppercase Mapping (uc) Zeichen für U+2203 There Exists
Simple Titlecase Mapping (stc) Zeichen für U+2203 There Exists
Titlecase Mapping (tc) Zeichen für U+2203 There Exists
Case Folding (cf) Zeichen für U+2203 There Exists
ASCII Hex Digit (AHex)
Alphabetic (Alpha)
Bidi-Kontrollzeichen (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)
Veraltet (Dep)
Diakritisch (Dia)
Emoji Modifier Base (EBase)
Emoji Component (EComp)
Emoji Modifier (EMod)
Emoji-Darstellung (EPres)
Emoji (Emoji)
Extender (Ext)
Extended Pictographic (ExtPict)
FC NFKC Closure (FC_NFKC) Zeichen für U+2203 There Exists
Grapheme Cluster Break (GCB) Egal
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
Ideogramm (Ideo)
InCB (InCB) None
Indic Mantra Category (InMC)
Indic Positional Category (InPC) NA
Indic Syllabic Category (InSC) Other
Jamo Short Name (JSN)
Verbindungskontrollzeichen (Join_C)
Logische Reihenfolgenausnahme (LOE)
Math (Math)
Nicht-Zeichen-Codepunkt (NChar)
NFC Quick Check (NFC_QC) Ja
NFD Quick Check (NFD_QC) Ja
NFKC Casefold (NFKC_CF) Zeichen für U+2203 There Exists
NFKC Quick Check (NFKC_QC) Ja
NFKC_SCF (NFKC_SCF) Zeichen für U+2203 There Exists
NFKD Quick Check (NFKD_QC) Ja
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) Andere
Soft Dotted (SD)
Sentence Terminal (STerm)
Terminal Punctuation (Term)
Unified Ideograph (UIdeo)
Variation Selector (VS)
Word Break (WB) Andere
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) Zeichen für U+2203 There Exists
Bidi Paired Bracket Type (bpt) None
Ostasiatische Weite (ea) ambiguous
Hangul Syllable Type (hst) Nicht anwendbar
ISO 10646 Comment (isc)
Joining Group (jg) No_Joining_Group
Joining Type (jt) Non Joining
Line Break (lb) Ambiguous (Alphabetic or Ideographic)
Numerischer Typ (nt) none
Numerischer Wert (nv) keine Nummer
Simple Case Folding (scf) Zeichen für U+2203 There Exists
Schrifterweiterung (scx)
Vertical Orientation (vo) R