⊣
⊣ LEFT TACK
| Codepoint | U+22A3 |
| Copy to the clipboard | |
| Comments |
reverse turnstile non-theorem, does not yield |
| Block | Mathematical Operators |
| Sub-Block | Operators |
| Category | Sm / Symbol, math |
| Add to My List | |
| Copy link | |
| How to type "⊣" in Windows? | hold alt type + type 22A3 release alt |
| How to type "⊣" in Linux? | hold ctrl+shift type U 22A3 release ctrl+shift |