U+2203 There Exists
U+2203 was added in Unicode version 1.1 in 1993. It belongs to the block Mathematical Operators in the Basic Multilingual Plane.
This character is a Math Symbol and is commonly used, that is, in no specific script. Znak jest również znany jako existential quantifier.
The glyph is not a composition. Its width in East Asian texts is determined by its context. It can be displayed wide or narrow. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored. If its East Asian Width is “narrow”, U+2203 forms a word with similar characters, which prevents a line break inside it. Otherwise it allows line breaks around it, except in some numeric contexts. The glyph can be confused with one other glyph.
The CLDR project calls this character “kwantyfikator egzystencjalny” for use in screen reading software.
Wikipedia ma następujące informacje na temat tej współrzędnej kodowej:
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
existsin LaTeX and related formula editors.
Reprezentacje
| System | Reprezentacje |
|---|---|
| Nº | 8707 |
| UTF-8 | E2 88 83 |
| UTF-16 | 22 03 |
| UTF-32 | 00 00 22 03 |
| Adres URL cytowany | %E2%88%83 |
| HTML hex reference | ∃ |
| Błędne windows-1252 Mojibake | ∃ |
| HTML named entity | ∃ |
| HTML named entity | ∃ |
| alias | existential quantifier |
| Kodowanie: CP932 (hex bajtów) | 81 CE |
| Kodowanie: CP949 (hex bajtów) | A2 A4 |
| Kodowanie: EUC_JP (hex bajtów) | A2 D0 |
| Kodowanie: EUC_JIS_2004 (hex bajtów) | A2 D0 |
| Kodowanie: EUC_JISX0213 (hex bajtów) | A2 D0 |
| Kodowanie: EUC_KR (hex bajtów) | A2 A4 |
| Kodowanie: GB18030 (hex bajtów) | 81 36 D1 39 |
| Kodowanie: ISO2022_JP (hex bajtów) | 1B 24 42 22 50 1B 28 42 |
| Kodowanie: ISO2022_JP_1 (hex bajtów) | 1B 24 42 22 50 1B 28 42 |
| Kodowanie: ISO2022_JP_2 (hex bajtów) | 1B 24 42 22 50 1B 28 42 |
| Kodowanie: ISO2022_JP_2004 (hex bajtów) | 1B 24 42 22 50 1B 28 42 |
| Kodowanie: ISO2022_JP_3 (hex bajtów) | 1B 24 42 22 50 1B 28 42 |
| Kodowanie: ISO2022_JP_EXT (hex bajtów) | 1B 24 42 22 50 1B 28 42 |
| Kodowanie: ISO2022_KR (hex bajtów) | 1B 24 29 43 0E 22 24 0F |
| Kodowanie: JOHAB (hex bajtów) | D9 A4 |
| Kodowanie: SHIFT_JIS (hex bajtów) | 81 CE |
| Kodowanie: SHIFT_JIS_2004 (hex bajtów) | 81 CE |
| Kodowanie: SHIFT_JISX0213 (hex bajtów) | 81 CE |
| LATEX | \exists |
| Adobe Glyph List | existential |
| Adobe Glyph List | thereexists |
| dwuznak | TE |
Powiązane znaki
Znaki mylone
Gdzie indziej
Kompletny opis
| Właściwość | Wartość |
|---|---|
| 1.1 (1993) | |
| THERE EXISTS | |
| — | |
| Mathematical Operators | |
| Math Symbol | |
| Common | |
| Other Neutral | |
| Not Reordered | |
| none | |
| There Exists | |
| ✘ | |
| There Exists | |
| There Exists | |
| ✘ | |
| There Exists | |
| There Exists | |
| There Exists | |
| There Exists | |
| There Exists | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✔ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| There Exists | |
| Any | |
| ✔ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| 0 | |
| 0 | |
| 0 | |
| ✘ | |
| None | |
| — | |
| NA | |
| Other | |
| — | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✔ | |
| ✘ | |
| Yes | |
| Yes | |
| There Exists | |
| Yes | |
| There Exists | |
| Yes | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✔ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| Other | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| Other | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| ✘ | |
| There Exists | |
| None | |
| ambiguous | |
| Not Applicable | |
| — | |
| No_Joining_Group | |
| Non Joining | |
| Ambiguous (Alphabetic or Ideographic) | |
| none | |
| not a number | |
| There Exists | |
| R |