⊣

Math Operator 160

Unicode
U+22A3
Category
Math
HTML Entity
⊣
CSS
\22A3
The Right 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 "right tack" or Alt + 8867
macOS
Control+Command+Space then search "right tack"
Linux
Ctrl+Shift+U 22A3 Space
HTML
⊣ or ⊣

In Programming

In the APL programming language, the right tack acts as the "Right" function, returning its right argument while ignoring the left. 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