Source: Noto Sans Math

U+27DA LEFT AND RIGHT DOUBLE TURNSTILE

U+27DA was added to Unicode in version 3.2 (2002). It belongs to the block U+27C0 to U+27EF Miscellaneous Mathematical Symbols-A 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 not a composition. It has a Neutral East Asian Width. In bidirectional context it acts as Other Neutral and is not mirrored. In text U+27DA behaves as Alphabetic regarding line breaks. It has type Other for sentence and Other for word breaks. The Grapheme Cluster Break is Any.

The Wikipedia has the following information about this codepoint:

In mathematical logic and computer science the symbol ⊢ {displaystyle vdash } 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".

Representations

System	Representation
Nº	10202
UTF-8	E2 9F 9A
UTF-16	27 DA
UTF-32	00 00 27 DA
URL-Quoted	%E2%9F%9A
HTML-Escape	⟚
Wrong windows-1252 Mojibake	â

Elsewhere

Complete Record

Property	Value
Age	3.2 (2002)
Unicode Name	LEFT AND RIGHT DOUBLE TURNSTILE
Unicode 1 Name	—
Block	Miscellaneous Mathematical Symbols-B
General Category	Math Symbol
Script	Common
Bidirectional Category	Other Neutral
Combining Class	Not Reordered
Decomposition Type	None
Decomposition Mapping	Left and Right Double Turnstile
Lowercase	✘
Simple Lowercase Mapping	Left and Right Double Turnstile
Lowercase Mapping	Left and Right Double Turnstile
Uppercase	✘
Simple Uppercase Mapping	Left and Right Double Turnstile
Uppercase Mapping	Left and Right Double Turnstile
Simple Titlecase Mapping	Left and Right Double Turnstile
Titlecase Mapping	Left and Right Double Turnstile
Case Folding	Left and Right Double Turnstile
ASCII Hex Digit	✘
Alphabetic	✘
Bidi Control	✘
Bidi Mirrored	✘
Composition Exclusion	✘
Case Ignorable	✘
Changes When Casefolded	✘
Changes When Casemapped	✘
Changes When NFKC Casefolded	✘
Changes When Lowercased	✘
Changes When Titlecased	✘
Changes When Uppercased	✘
Cased	✘
Full Composition Exclusion	✘
Default Ignorable Code Point	✘
Dash	✘
Deprecated	✘
Diacritic	✘
Emoji Modifier Base	✘
Emoji Component	✘
Emoji Modifier	✘
Emoji Presentation	✘
Emoji	✘
Extender	✘
Extended Pictographic	✘
FC NFKC Closure	Left and Right Double Turnstile
Grapheme Cluster Break	Any
Grapheme Base	✔
Grapheme Extend	✘
Grapheme Link	✘
Hex Digit	✘
Hyphen	✘
ID Continue	✘
ID Start	✘
IDS Binary Operator	✘
IDS Trinary Operator and	✘
Ideographic	✘
Indic Mantra Category	—
Indic Positional Category	NA
Indic Syllabic Category	Other
Jamo Short Name	—
Join Control	✘
Logical Order Exception	✘
Math	✔
Noncharacter Code Point	✘
NFC Quick Check	Yes
NFD Quick Check	Yes
NFKC Casefold	Left and Right Double Turnstile
NFKC Quick Check	Yes
NFKD Quick Check	Yes
Other Alphabetic	✘
Other Default Ignorable Code Point	✘
Other Grapheme Extend	✘
Other ID Continue	✘
Other ID Start	✘
Other Lowercase	✘
Other Math	✘
Other Uppercase	✘
Prepended Concatenation Mark	✘
Pattern Syntax	✔
Pattern White Space	✘
Quotation Mark	✘
Regional Indicator	✘
Radical	✘
Sentence Break	Other
Soft Dotted	✘
Sentence Terminal	✘
Terminal Punctuation	✘
Unified Ideograph	✘
Variation Selector	✘
Word Break	Other
White Space	✘
XID Continue	✘
XID Start	✘
Expands On NFC	✘
Expands On NFD	✘
Expands On NFKC	✘
Expands On NFKD	✘
Bidi Paired Bracket	Left and Right Double Turnstile
Bidi Paired Bracket Type	None
East Asian Width	Neutral
Hangul Syllable Type	Not Applicable
ISO 10646 Comment	—
Joining Group	No_Joining_Group
Joining Type	Non Joining
Line Break	Alphabetic
Numeric Type	None
Numeric Value	not a number
Simple Case Folding	Left and Right Double Turnstile
Script Extension
Vertical Orientation	R