U+22A3 Left Tack
U+22A3 was added in Unicode version 1.1 in 1993. It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script. The character is also known as reverse turnstile, nontheorem and does not yield.
The glyph is not a composition. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored into
The Wikipedia has the following information about this codepoint:
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.
By definition, an adjunction between categories $C$ and $D$ is a pair of functors (assumed to be covariant)
 $F:D\to C$ and $G:C\to D$
and, for all objects $X$ in $C$ and $Y$ in $D$, a bijection between the respective morphism sets
 ${hom}_{C}(FY,X)\cong {hom}_{D}(Y,GX)$
such that this family of bijections is natural in $X$ and $Y$. Naturality here means that there are natural isomorphisms between the pair of functors $C(F,X):D\to Se{t}^{\text{op}}$ and $D(,GX):D\to Se{t}^{\text{op}}$ for a fixed $X$ in $C$, and also the pair of functors $C(FY,):C\to Set$ and $D(Y,G):C\to Set$ for a fixed $Y$ in $D$.
The functor $F$ is called a left adjoint functor or left adjoint to $G$, while $G$ is called a right adjoint functor or right adjoint to $F$. We write $F\u22a3G$.
An adjunction between categories $C$ and $D$ is somewhat akin to a "weak form" of an equivalence between $C$ and $D$, and indeed every equivalence is an adjunction. In many situations, an adjunction can be "upgraded" to an equivalence, by a suitable natural modification of the involved categories and functors.
Representations
System  Representation 

Nº  8867 
UTF8  E2 8A A3 
UTF16  22 A3 
UTF32  00 00 22 A3 
URLQuoted  %E2%8A%A3 
HTML hex reference  ⊣ 
Wrong windows1252 Mojibake  âŠ£ 
HTML named entity  ⊣ 
HTML named entity  ⊣ 
alias  reverse turnstile 
alias  nontheorem 
alias  does not yield 
L^{A}T_{E}X  \dashv 
Adobe Glyph List  tackleft 
Related Characters
Elsewhere
Complete Record
Property  Value 

1.1 (1993)  
LEFT TACK  
—  
Mathematical Operators  
Math Symbol  
Common  
Other Neutral  
Not Reordered  
none  


✘  




✘  










✘  
✘  
✘  
✔  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  


Any  
✔  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
0  
0  
0  
✘  
None  
—  
NA  
Other  
—  
✘  
✘  
✔  
✘  
Yes  
Yes  


Yes  


Yes  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✔  
✘  
✘  
✘  
✘  
Other  
✘  
✘  
✘  
✘  
✘  
Other  
✘  
✘  
✘  
✘  
✘  
✘  
✘  




None  
neutral  
Not Applicable  
—  
No_Joining_Group  
Non Joining  
Alphabetic  
none  
not a number  


R 