U+22A2 RIGHT TACK

U+22A2 was added to Unicode in version 1.1 (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. The character is also known as turnstile, proves, implies, yields and reducible.

The glyph is not a composition. It has a Neutral East Asian Width. In bidirectional context it acts as Other Neutral and is mirrored. Its corresponding mirrored glyph is ⊣. In text U+22A2 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 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". The symbol was first used by Gottlob Frege in his 1879 book on logic, Begriffsschrift.

Martin-Löf analyzes the symbol thus: "...[T]he combination of Frege's Urteilsstrich, judgement stroke [ | ], and Inhaltsstrich, content stroke [—], came to be called the assertion sign." Frege's notation for a judgement of some content

can be then be read

I know is true".

In the same vein, a conditional assertion

can be read as:

From , I know that

In TeX, the turnstile symbol is obtained from the command \vdash. In Unicode, the turnstile symbol () is called right tack and is at code point U+22A2. On a typewriter, a turnstile can be composed from a vertical bar (|) and a dash (–). In LaTeX there is a turnstile package which issues this sign in many ways, and is capable of putting labels below or above it, in the correct places.

Representations

System Representation
8866
UTF-8 E2 8A A2
UTF-16 22 A2
UTF-32 00 00 22 A2
URL-Quoted %E2%8A%A2
HTML-Escape ⊢
Wrong windows-1252 Mojibake ⊢
HTML-Escape ⊢
HTML-Escape ⊢
alias turnstile
alias proves
alias implies
alias yields
alias reducible
LaTeX \vdash

Related Characters

  • ⊣
  • ⊬

Elsewhere

Complete Record

Property Value
Age (age) 1.1
Unicode Name (na) RIGHT TACK
Unicode 1 Name (na1)
Block (blk) Math_Operators
General Category (gc) Math Symbol
Script (sc) Common
Bidirectional Category (bc) Other Neutral
Combining Class (ccc) Not Reordered
Decomposition Type (dt) None
Decomposition Mapping (dm) ⊢
Lowercase (Lower)
Simple Lowercase Mapping (slc) ⊢
Lowercase Mapping (lc) ⊢
Uppercase (Upper)
Simple Uppercase Mapping (suc) ⊢
Uppercase Mapping (uc) ⊢
Simple Titlecase Mapping (stc) ⊢
Titlecase Mapping (tc) ⊢
Case Folding (cf) ⊢
ASCII Hex Digit (AHex)
Alphabetic (Alpha)
Bidi Control (Bidi_C)
Bidi Mirrored (Bidi_M)
Bidi Mirrored Glyph (bmg) ⊣
Bidi Paired Bracket (bpb) ⊢
Bidi Paired Bracket Type (bpt) None
Cased (Cased)
Composition Exclusion (CE)
Case Ignorable (CI)
Full Composition Exclusion (Comp_Ex)
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)
Dash (Dash)
Deprecated (Dep)
Default Ignorable Code Point (DI)
Diacritic (Dia)
East Asian Width (ea) Neutral
Extender (Ext)
FC NFKC Closure (FC_NFKC) ⊢
Grapheme Cluster Break (GCB) Any
Grapheme Base (Gr_Base)
Grapheme Extend (Gr_Ext)
Hex Digit (Hex)
Hangul Syllable Type (hst) Not Applicable
Hyphen (Hyphen)
ID Continue (IDC)
Ideographic (Ideo)
ID Start (IDS)
IDS Binary Operator (IDSB)
IDS Trinary Operator and (IDST)
InMC (InMC)
Indic Positional Category (InPC) NA
Indic Syllabic Category (InSC) Other
ISO 10646 Comment (isc)
Joining Group (jg) No_Joining_Group
Join Control (Join_C)
Jamo Short Name (JSN)
Joining Type (jt) Non Joining
Line Break (lb) Alphabetic
Logical Order Exception (LOE)
Math (Math)
Noncharacter Code Point (NChar)
NFC Quick Check (NFC_QC) Yes
NFD Quick Check (NFD_QC) Yes
NFKC Casefold (NFKC_CF) ⊢
NFKC Quick Check (NFKC_QC) Yes
NFKD Quick Check (NFKD_QC) Yes
Numeric Type (nt) None
Numeric Value (nv) NaN
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)
Pattern Syntax (Pat_Syn)
Pattern White Space (Pat_WS)
Quotation Mark (QMark)
Radical (Radical)
Sentence Break (SB) Other
Simple Case Folding (scf) ⊢
Script Extension (scx) Common
Soft Dotted (SD)
STerm (STerm)
Terminal Punctuation (Term)
Unified Ideograph (UIdeo)
Variation Selector (VS)
Word Break (WB) Other
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)