What is the ⊪ (Triple Vertical Bar Right Turnstile) Symbol?

The ⊪ symbol, officially known as the Triple Vertical Bar Right Turnstile, is a mathematical operator used to denote specific types of entailment or forcing in advanced formal logic. Visually, it features three parallel vertical lines attached to a single horizontal line extending to the right. In the realm of mathematics, it functions as a specialized variation of the classic turnstile symbol (⊢), indicating a highly complex relationship where a specific set of premises leads to a logical conclusion.

The turnstile family of symbols has roots in the late 19th and early 20th centuries. Pioneering mathematicians like Gottlob Frege used early variations to separate logical statements from assertions. While the standard single turnstile represents "syntactic consequence"—meaning a conclusion can be proven from given axioms—the triple vertical bar turnstile (⊪) emerged later to handle specialized edge cases. Today, it primarily pops up in theoretical computer science, categorical logic, and non-standard mathematical frameworks.

In the Unicode standard, ⊪ sits at code point U+22AA and belongs to the Mathematical Operators block. You will rarely find it outside of dense academic papers or programming environments dealing with type theory and state transitions.

However, the internet loves to repurpose obscure characters. Because ⊪ resembles a tiny comb, a sideways shelf, or a glitchy letter, internet users occasionally sprinkle it into kaomoji (Japanese text emojis) and aesthetic text art. It is also a prime candidate for "Zalgo text" or glitchy typography, where obscure Unicode characters are stacked to create a chaotic, surreal visual effect on social media platforms.

Typing the ⊪ symbol directly from a standard keyboard requires a few tricks. On a Windows PC, you can type 22AA followed by Alt + X in Microsoft Word. If you are using LaTeX for academic writing, the command \Vvdash (via the amssymb package) will generate it perfectly. For Mac users, enabling the Unicode Hex Input keyboard and holding Option while typing 22AA does the trick. Of course, simply copying and pasting the character is the fastest method for quick messages.

This symbol is part of a larger, visually similar family. It is closely related to the Right Tack (⊢), which is the standard provability symbol, and the Double Turnstile (⊨), which is used to show semantic truth or models. There is also the Forces symbol (⊩), featuring two vertical bars instead of three. The main difference between these symbols is their specific logical meaning—each additional line subtly alters the rules of the mathematical relationship being described.