Double Vertical Bar Left Turnstile ⫣

Double Vertical Bar Left Turnstile Symbol

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

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