U+2AE2 • mathematics
Symbol named Vertical Bar Triple Right Turnstile, depicting three vertical bars followed by a right turnstile. Used in logic or proof theory to represent entailment or derivability with additional qualifiers indicated by the triple bars. It is distinct from single or double turnstile symbols by the triple vertical bars.
The Symbol For Vertical Bar Triple Right 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-baroperatornotationunicodeCopy the Vertical Bar Triple Right Turnstile dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
⫢ Click to copy