Your Collection
Your collection items will appear here.
Login to download collections
Left Tack Symbol

Left Tack ⊣

U+22A3 • logic

Left Tack Symbol

Left tack (⊣) is a symbol used in logic and mathematics to denote a dual or converse relation to the right tack, often representing co-entailment or related syntactic concepts. It appears in formal logic and proof systems.

The Symbol For Left Tack (⊣) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993

logicproof-theorysymbolrelationsyntaxformal-proofsmathematicsnotationdualentailment

Copy and paste the Left Tack Symbol

Copy the Left Tack dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.

⊣ Click to copy
  • Full Name: Left Tack
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A3
  • Unicode Version: 1.1
  • Year Added: 1993