Quelle: Noto Sans Math

U+27DA Left and Right Double Turnstile

U+27DA wurde in Version 3.2 in 2002 zu Unicode hinzugefügt. Er gehört zum Block U+27C0 bis U+27EF Miscellaneous Mathematical Symbols-A 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 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 nicht gespiegelt. Das Wort, das U+27DA 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.	10202
UTF-8	E2 9F 9A
UTF-16	27 DA
UTF-32	00 00 27 DA
URL-kodiert	%E2%9F%9A
HTML hex reference	⟚
Falsches windows-1252-Mojibake	âŸš
Kodierung: GB18030 (Hex-Bytes)	81 37 D1 36

Anderswo

Vollständiger Eintrag

Eigenschaft	Wert
Alter (age)	3.2 (2002)
Unicode-Name (na)	LEFT AND RIGHT DOUBLE TURNSTILE
Unicode-1-Name (na1)	—
Block (blk)	Miscellaneous Mathematical Symbols-B
Allgemeine Kategorie (gc)	Math Symbol
Schrift (sc)	Common
Bidirectional Category (bc)	Other Neutral
Combining Class (ccc)	Not Reordered
Dekompositionstyp (dt)	none
Decomposition Mapping (dm)	Left and Right Double Turnstile
Kleinbuchstabe (Lower)	✘
Simple Lowercase Mapping (slc)	Left and Right Double Turnstile
Lowercase Mapping (lc)	Left and Right Double Turnstile
Großbuchstabe (Upper)	✘
Simple Uppercase Mapping (suc)	Left and Right Double Turnstile
Uppercase Mapping (uc)	Left and Right Double Turnstile
Simple Titlecase Mapping (stc)	Left and Right Double Turnstile
Titlecase Mapping (tc)	Left and Right Double Turnstile
Case Folding (cf)	Left and Right Double Turnstile
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)	Left and Right Double Turnstile
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)	✘
Modifier Combining Mark (MCM)	✘
Math (Math)	✔
Nicht-Zeichen-Codepunkt (NChar)	✘
NFC Quick Check (NFC_QC)	Ja
NFD Quick Check (NFD_QC)	Ja
NFKC Casefold (NFKC_CF)	Left and Right Double Turnstile
NFKC Quick Check (NFKC_QC)	Ja
NFKC_SCF (NFKC_SCF)	Left and Right Double Turnstile
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)	Left and Right Double Turnstile
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)	Left and Right Double Turnstile
Schrifterweiterung (scx)
Vertical Orientation (vo)	R