Your Collection
Your collection items will appear here.
Login to download collections
Triple Vertical Bar Right Turnstile Symbol

Triple Vertical Bar Right Turnstile ⊪

U+22AA • logic

Triple Vertical Bar Right Turnstile Symbol

Triple vertical bar right turnstile (⊪) is a symbol used in logic and proof theory to denote a stronger or specialized form of entailment or derivability. It extends the standard turnstile notation to express additional structural or modal properties.

The Symbol For Triple Vertical Bar Right Turnstile (⊪) 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-theoryentailmentderivabilitysymbolturnstilemathematicsnotationsyntaxformal-proofs

Copy and paste the Triple Vertical Bar Right Turnstile Symbol

Copy the Triple Vertical Bar Right Turnstile dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.

⊪ Click to copy
  • Full Name: Triple Vertical Bar Right Turnstile
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22AA
  • Unicode Version: 1.1
  • Year Added: 1993