Windows
2 options- In Word / Outlook: type 22A3 then press Alt + X.
- Anywhere: press Win + . to open the emoji & symbol picker, then search.
Left Tack Symbol
A symbol from the Math Symbols collection. Click the symbol or the button below to copy.
- Symbol
- ⊣
- Unicode
- U+22A3
- HTML entity
- ⊣
- Category
- Math Symbols
Export
Download Left Tack as a vector SVG or a raster PNG.
Preview
transparent background
Color applies to monochrome symbols; multicolor emoji keep their own colors. SVG uses the system font stack — open in any vector editor and convert to outlines if needed. PNGs have a transparent background.
68 of 96 in the math symbols collection
About the left tack symbol
The left tack symbol represents a relation in mathematical logic, specifically denoting that a formula on its right side is provable from or semantically entailed by a formula on its left. It is the mirror image of the more common right tack (turnstile) and appears in proofs, type theory, and formal semantics, often in contexts where the direction of entailment or provability is reversed. Within Unicode, it is classified as a mathematical operator and is used primarily in technical and academic writing.
How to type Left Tack
Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.
macOS
2 options- Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 22A3.
- Or: Control + Command + Space opens the Character Viewer — search by name.
Linux
1 step- Press Ctrl + Shift + U, type 22A3, then press Enter or Space.
Copy in every format
Every form of this character — for HTML, CSS, JavaScript, URLs and more. Click any value to copy.
Related math symbols
Other math symbols you can copy and paste — explore similar Unicode characters from the same family.
- +Plus SignCopy the plus sign symbol→
- −Minus SignCopy the minus sign symbol→
- ×Multiplication SignCopy the multiplication sign symbol→
- ÷Division SignCopy the division sign symbol→
- ±Plus-Minus SignCopy the plus-minus sign symbol→
- ∓Minus-Or-Plus SignCopy the minus-or-plus sign symbol→
- =Equals SignCopy the equals sign symbol→
- ≠Not Equal ToCopy the not equal to symbol→
- ≈Almost Equal ToCopy the almost equal to symbol→
- ≡Identical ToCopy the identical to symbol→
- ≤Less-Than Or Equal ToCopy the less-than or equal to symbol→
- ≥Greater-Than Or Equal ToCopy the greater-than or equal to symbol→
More math symbols
Explore related collections
Browse other symbol families that pair well with math symbols.