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

Double Vertical Bar Double Left Turnstile ⫥

U+2AE5 • mathematics

Double Vertical Bar Double Left Turnstile Symbol

Symbol called Double Vertical Bar Double Left Turnstile, showing two vertical bars followed by a double left turnstile. Used in logic or proof theory to denote a strong form of entailment or derivability with qualifiers indicated by the double bars and double turnstile. It is distinct from simpler turnstile symbols by this combination.

The Symbol For Double Vertical Bar Double Left Turnstile (⫥) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Supplemental Mathematical Operators block and was approved as part of Unicode Version 3.2 in 2002

mathematicssymbollogicturnstileentailmentproof-theoryvertical-baroperatornotationunicode

Copy and paste the Double Vertical Bar Double Left Turnstile Symbol

Copy the Double Vertical Bar Double Left 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 Left Turnstile
  • Plane: Basic Multilingual Plane
  • Block: Supplemental Mathematical Operators
  • Unicode: U+2AE5
  • Unicode Version: 3.2
  • Year Added: 2002