U+2AE2 "⫢" Vertical Bar Triple Right Turnstile Unicode Character

U+2AE2 "⫢" Vertical Bar Triple Right Turnstile is a mathematical symbol used primarily in formal logic and type theory to denote a specific kind of entailment or derivability relation that is stronger than the ordinary turnstile, often indicating a forced or necessary truth within a given system. It resembles a vertical bar with three horizontal strokes pointing to the right, and it appears in contexts where multiple conditions or premises are explicitly tied to a single conclusion, such as in sequent calculus or structural proof theory. This character helps to clarify complex logical relationships by visually encoding the number of dependencies or the nature of the derivation involved.