⊣
Left Tack Symbol (⊣)
Copy the Left Tack symbol ⊣ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.
What does ⊣ mean?
⊣ (left tack) is the reverse turnstile and denotes adjunction in category theory. Its official Unicode name is LEFT TACK.
Codes and properties
| Character | ⊣ |
|---|---|
| Unicode name | LEFT TACK |
| Code point | U+22A3 |
| Decimal | 8867 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊣ · ⊣ |
| CSS | \22A3 |
| JavaScript / JSON | \u22A3 |
| Python | \u22A3 or \N{LEFT TACK} |
| UTF-8 bytes | E2 8A A3 |
| LaTeX | \dashv |
How to type ⊣
- Copy & paste: press the Copy button above, then paste ⊣ anywhere — Word, Google Docs, email, chat or code.
- Windows (Word, WordPad, Outlook): type
22A3then press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22A3; or press Ctrl+Cmd+Space and search “left tack”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22a3, then Space. - HTML:
⊣renders as ⊣. - LaTeX:
\dashvin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊣ on Windows?
In Microsoft Word type 22A3 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊣ from this page.
What is the HTML code for ⊣?
Use ⊣ (hex) or ⊣ (decimal).
What is the LaTeX command for ⊣?
Use \dashv in math mode.