Right Tack Symbol

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

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

Export

Download Right Tack as SVG or PNG — or add a caption to make a labelled icon, badge or sticker.

Add text (optional)

Fill color

Custom

Background

PNG size

Preview

transparent background

Fill color applies to monochrome symbols; multicolor emoji keep their own colors. Add a circle/rounded background to make an app icon or avatar. Exports are self-contained; the SVG embeds the glyph's font. Without a background, exports are transparent.

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.