Back to catalog
Symbol guide

Turnstile

LaTeX\vdash

Turnstile denotes syntactic entailment or provability.

Example

Where it appears

  • Logic
  • Proofs
  • Operators