Turnstile ⊢

Semantic identity and intent

Characters to distinguish

• ∀ — For All
• ∃ — There Exists
• ∧ — Logical And

Use ⊢ in the right format

Meaning and usage

Indicates syntactic derivability from assumptions.

Place assumptions on the left and the derived statement on the right.

Pronunciation: turnstile

Formula examples

How to type Turnstile

Windows

Open Character Map and search by name or Unicode U+22A2.

macOS

Open Character Viewer with Control–Command–Space and search by the symbol name.

Microsoft Word

In an equation, type \vdash and press Space when Word supports the command.

iPhone and iPad

Copy and paste ⊢, or use a math/LaTeX app. The standard iOS keyboard may not expose every mathematical symbol.

Android

Copy and paste ⊢, or use a math keyboard or LaTeX editor. Keyboard layouts vary by device and app.

Google Docs

For plain text, paste ⊢ or use Insert → Special characters. For structured math, use the equation editor and verify \vdash.

Excel

Paste ⊢ into a cell or use Insert → Symbol when available. Ordinary cells preserve the character but do not interpret LaTeX commands.

Common mistakes

• Define the logical convention before using ⊢; proof, programming, and Boolean-algebra sources may assign different precedence or direction.
• For plain text, copy ⊢ as U+22A2; for structured equations, use \vdash in math mode. A look-alike glyph or image can break search, accessibility, or parsing when the intended character is Turnstile.

When to use ⊢

• Use ⊢ in plain text when a Unicode character is appropriate and the destination preserves U+22A2.
• Use \vdash in an equation editor when mathematical spacing or structure matters.
• Define the local meaning when Turnstile is used in logic with a field-specific convention.

Look-alikes and related characters

• ∀ — For All
• ∃ — There Exists
• ∧ — Logical And

Font and compatibility notes

Glyph shape can vary by font. Verify the code point after copying, and prefer LaTeX or MathML for structured equations.

Review and source notes

Quality tier: specialist

Last reviewed: 2026-07-23

Review method: Catalog review of character identity and notation mappings.

Verified against: Unicode Standard, Unicode mathematical notation guidance, and established LaTeX/MathML syntax.

Reference sources

• The Unicode StandardUnicode Consortium — Character identity, encoding, names, and conformance.
• Unicode Character Code ChartsUnicode Consortium — Code points and official character charts.

Frequently asked questions