Right Tack Symbol

A symbol from the Math Symbols collection. Click the symbol or the button below to copy.

Math Symbols collection

Symbol: ⊢
Unicode: U+22A2
HTML entity: &vdash;
Category: Math Symbols

Export

Download Right Tack as a vector SVG or a raster PNG.

Fill color

Custom

PNG size

Preview

transparent background

Color applies to monochrome symbols; multicolor emoji keep their own colors. SVG uses the system font stack — open in any vector editor and convert to outlines if needed. PNGs have a transparent background.

67 of 96 in the math symbols collection

About the right tack symbol

The Right Tack symbol denotes logical assertion, provability, or entailment, particularly in formal logic and proof theory. It is also used in type theory and programming language semantics to represent a turnstile or a typing judgment, separating a context from a conclusion.

This symbol appears in academic texts on mathematical logic, computer science, and linguistics, as well as in formal proofs and type system notation. It is also encountered in technical documentation for programming languages and theorem provers.

How to type Right Tack

Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.

Windows

2 options

In Word / Outlook: type 22A2 then press Alt + X.
Anywhere: press Win + . to open the emoji & symbol picker, then search.

macOS

2 options

Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 22A2.
Or: Control + Command + Space opens the Character Viewer — search by name.