U+22A3 · Math symbol
HTML entity
⊣
LaTeX
\dashv
Left Tack Symbol ⊣
⊣ is left tack, U+22A3 — \dashv in LaTeX. It was added in Unicode 1.1, and Unicode files it under Math symbol.
Also known as
- reverse turnstile
- non-theorem
- does not yield
Codes & technical data
| Unicode | U+22A3 | |
|---|---|---|
| HTML hex | ⊣ | |
| HTML decimal | ⊣ | |
| CSS | \22A3 | |
| JavaScript | \u{22A3} | |
| Python | \U000022A3 | |
| Java / C# | \u22A3 | |
| Rust | \u{22a3} | |
| Swift | \u{22A3} | |
| PHP | \u{22A3} | |
| URL encoded | %E2%8A%A3 | |
| UTF-8 bytes | E2 8A A3 | |
| UTF-16 bytes | 22A3 | |
| Base64 | 4oqj | |
| Decimal | 8867 | |
| HTML entity | ⊣ | |
| LaTeX | \dashv | |
| Category | Math symbol (Sm) | |
| Introduced | Unicode 1.1 | |
Will ⊣ survive being pasted?
- Normalisation. Yes. ⊣ is unchanged by NFKC, so it survives normalising systems intact.
- Legacy encodings. ⊣ is Unicode-only — it has no Latin-1 equivalent, so a system stuck on an 8-bit encoding cannot represent it.
- Size. 3 bytes in UTF-8. Character-limited fields — SMS, bios, some form validators — usually count bytes, not characters.
Other tack characters
Unicode names 14 characters ending in “tack”. They differ by direction, weight or decoration rather than by meaning.
Nearby in Mathematical Operators
The operators mathematics and programming share — set theory, logic, calculus, comparison. Almost every character here has a LaTeX command, which is usually the fastest way to name the one you mean.
How to type ⊣
| Windows | Type 22A3 then press Alt+X |
|---|---|
| macOS | Press Ctrl+Cmd+Space, then search for “left tack” |
| Linux | Press Ctrl+Shift+U, type 22a3, press Enter |
| HTML | ⊣ |
About Unicode’s Math symbol category
Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.
Frequently asked questions
- How do I type the ⊣ left tack symbol?
- On Windows, type 22A3 and press Alt+X. On Linux press Ctrl+Shift+U then 22a3. On any system the quickest route is the copy button on this page.
- What is the code for ⊣?
- Left Tack is U+22A3, written in HTML as ⊣ and in LaTeX as \dashv. In UTF-8 it takes 3 bytes. The table above lists every escape format.
- What kind of character is ⊣?
- Left Tack is filed under Math symbol in the Mathematical Operators block, and was introduced in Unicode 1.1. Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.