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

Double Vertical Bar Double Right Turnstile ⊫

U+22AB • logic

Double Vertical Bar Double Right Turnstile Symbol

Double vertical bar double right turnstile (⊫) is a symbol in logic representing an even stronger or more complex form of entailment or provability than the single turnstile. It is used in advanced proof systems and modal logics to indicate robust derivability.

The Symbol For Double Vertical Bar Double 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-theoryentailmentprovabilitysymbolturnstilemathematicsnotationmodal-logicformal-proofs

Copy and paste the Double Vertical Bar Double Right Turnstile Symbol

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

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