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

Vertical Bar Double Left Turnstile ⫤

U+2AE4 • mathematics

Vertical Bar Double Left Turnstile Symbol

Symbol named Vertical Bar Double Left Turnstile, depicting a vertical bar followed by a double left turnstile. Used in logic or proof theory to represent entailment or derivability with specific qualifiers indicated by the combination of bars and turnstiles. It is distinct from other turnstile symbols by this combination.

The Symbol For 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 Vertical Bar Double Left Turnstile Symbol

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