U+2AE3 "⫣" Double Vertical Bar Left Turnstile Unicode Character

U+2AE3 "⫣" Double Vertical Bar Left Turnstile is a typographical symbol primarily used in formal logic and mathematics to denote a specific kind of logical or metalogical relation. It typically represents the assertion that a proposition on its right is a logical consequence or theorem derivable under a set of assumptions or a formal system, with the double vertical bar emphasizing a stronger or non-classical type of entailment, such as in relevance logic or substructural logics. Unlike the more common single turnstile (⊢), this double-bar variant can indicate a modified deduction or a relation within proof theory that resists certain structural rules. Its appearance features two parallel vertical strokes intersecting a horizontal arm extending to the left, distinguishing it visually from similar symbols like the right turnstile or double vertical bar with other orientations.