Start U+2200 bis U+22FF Mathematical Operators
Zeichen für U+22A2
Quelle: Noto Sans Math

U+22A2 Right Tack

U+22A2 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 turnstile, proves, implies, yields und reducible.

Das Zeichen ist keine Zusammensetzung. Es hat keine zugewiesene Weite in ostasiatischen Texten. In bidirektionalem Text handelt es als Other Neutral. Bei einem Richtungswechsel wird es gespiegelt zu Zeichen für U+22A3 Left Tack. Das Wort, das U+22A2 mit ähnlichen Zeichen bildet, verbietet in sich Zeilenumbrüche.

Die Wikipedia hat die folgende Information zu diesem Codepunkt:

In mathematical logic and computer science the symbol ⊢ (⊢) has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".

Darstellungen

System Darstellung
Nr. 8866
UTF-8 E2 8A A2
UTF-16 22 A2
UTF-32 00 00 22 A2
URL-kodiert %E2%8A%A2
HTML hex reference ⊢
Falsches windows-1252-Mojibake ⊢
HTML named entity ⊢
HTML named entity ⊢
Alias turnstile
Alias proves
Alias implies
Alias yields
Alias reducible
LATEX \vdash

Verwandte Schriftzeichen

Anderswo

Vollständiger Eintrag

Eigenschaft Wert
Alter (age) 1.1 (1993)
Unicode-Name (na) RIGHT TACK
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+22A2 Right Tack
Kleinbuchstabe (Lower) ✘
Simple Lowercase Mapping (slc) Zeichen für U+22A2 Right Tack
Lowercase Mapping (lc) Zeichen für U+22A2 Right Tack
Großbuchstabe (Upper) ✘
Simple Uppercase Mapping (suc) Zeichen für U+22A2 Right Tack
Uppercase Mapping (uc) Zeichen für U+22A2 Right Tack
Simple Titlecase Mapping (stc) Zeichen für U+22A2 Right Tack
Titlecase Mapping (tc) Zeichen für U+22A2 Right Tack
Case Folding (cf) Zeichen für U+22A2 Right Tack
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+22A2 Right Tack
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+22A2 Right Tack
NFKC Quick Check (NFKC_QC) Ja
NFKC_SCF (NFKC_SCF) Zeichen für U+22A2 Right Tack
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 Mirrored Glyph (bmg) Zeichen für U+22A3 Left Tack
Bidi Paired Bracket (bpb) Zeichen für U+22A2 Right Tack
Bidi Paired Bracket Type (bpt) None
Ostasiatische Weite (ea) neutral
Hangul Syllable Type (hst) Nicht anwendbar
ISO 10646 Comment (isc) —
Joining Group (jg) No_Joining_Group
Joining Type (jt) Non Joining
Line Break (lb) Alphabetic
Numerischer Typ (nt) none
Numerischer Wert (nv) keine Nummer
Simple Case Folding (scf) Zeichen für U+22A2 Right Tack
Schrifterweiterung (scx)
Vertical Orientation (vo) R