⊣

Left Tack

Unicode
U+22A3
Category
Math
HTML Entity
⊣
CSS
\22A3
The Left Tack symbol (⊣) is a mathematical operator primarily used in formal logic, set theory, and abstract algebra. In logic, it serves as the reverse of the turnstile symbol (⊢), often representing that a proposition on the left is deduced from or entailed by the statements on the right. Beyond advanced mathematics, it occasionally appears in specialized programming environments as a built-in structural function.

How to Type

Windows
Win + . then search "left tack" or Alt + 8867
macOS
Control+Command+Space then search "left tack"
Linux
Ctrl+Shift+U 22A3 Space
HTML
⊣ or ⊣

In Programming

In the APL programming language, the left tack acts as the "Left" function, returning its left argument while ignoring the right. In LaTeX documentation, it is generated using the \dashv command to represent reverse logical entailment.

Read full meaning article

Tags

APL programming LaTeX dashv \dashv assertion deduction entailment formal logic left tack logic mathematics reverse proves reverse turnstile set theory turnstile ⊣ symbol

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To