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

Right Tack ⊢

U+22A2 • logic

Right Tack Symbol

Right tack (⊢) is a symbol used in logic and proof theory to denote syntactic entailment or derivability, indicating that a statement or formula can be derived from a set of premises. It is fundamental in formal proofs and sequent calculus.

The Symbol For Right 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-theoryentailmentderivabilitysymbolsyntaxformal-proofssequent-calculusmathematicsnotation

Copy and paste the Right Tack Symbol

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

⊢ Click to copy
  • Full Name: Right Tack
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A2
  • Unicode Version: 1.1
  • Year Added: 1993