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

Negated Double Vertical Bar Double Right Turnstile ⊯

U+22AF • logic

Negated Double Vertical Bar Double Right Turnstile Symbol

Negated double vertical bar double right turnstile (⊯) is a symbol in logic representing the negation of a strong form of entailment or provability. It is used in advanced proof systems to indicate failure of a robust derivability relation.

The Symbol For Negated 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-theorynon-entailmentnegationsymbolturnstilemathematicsnotationformal-proofsmodal-logic

Copy and paste the Negated Double Vertical Bar Double Right Turnstile Symbol

Copy the Negated 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: Negated Double Vertical Bar Double Right Turnstile
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22AF
  • Unicode Version: 1.1
  • Year Added: 1993