# ⊣ U+22A3 LEFT TACK

Reverse turnstile pointing left, used in logic for does not yield or non-theorem, and for adjunctions.

| | |
|---|---|
| Character | `⊣` |
| Codepoint | U+22A3 |
| Name | LEFT TACK |
| Also known as | does not yield, non-theorem, reverse turnstile |
| Block | [Mathematical Operators](https://unicodekit.com/block/mathematical-operators) |
| Script | Common |
| Category | Math Symbol (Sm) |
| Unicode version | 1.1 |
| HTML | `⊣` `⊣` |
| CSS | `\22A3` |
| JavaScript | `\u22A3` |
| UTF-8 | E2 8A A3 |
| UTF-16 | 22A3 |

## Related characters

- ⊢ [U+22A2 RIGHT TACK](https://unicodekit.com/char/22A2)
- ⊤ [U+22A4 DOWN TACK](https://unicodekit.com/char/22A4)
- ⊡ [U+22A1 SQUARED DOT OPERATOR](https://unicodekit.com/char/22A1)
- ⊥ [U+22A5 UP TACK](https://unicodekit.com/char/22A5)
- ⊠ [U+22A0 SQUARED TIMES](https://unicodekit.com/char/22A0)
- ⊦ [U+22A6 ASSERTION](https://unicodekit.com/char/22A6)
- ⊟ [U+229F SQUARED MINUS](https://unicodekit.com/char/229F)
- ⊧ [U+22A7 MODELS](https://unicodekit.com/char/22A7)
- ⊞ [U+229E SQUARED PLUS](https://unicodekit.com/char/229E)
- ⊨ [U+22A8 TRUE](https://unicodekit.com/char/22A8)
- ⊝ [U+229D CIRCLED DASH](https://unicodekit.com/char/229D)
- ⊩ [U+22A9 FORCES](https://unicodekit.com/char/22A9)

Page: https://unicodekit.com/char/22A3 · JSON: https://unicodekit.com/characters/22A3