⊢

Right Tack

Unicode: U+22A2

HTML: ⊢

About this Symbol

The Right Tack symbol (⊢) is a Unicode character with code point U+22A2. It belongs to the Logic Symbols category of Unicode symbols.

Usage Examples

  • Plain text: ⊢
  • HTML: ⊢
  • Unicode: U+22A2

How to Type

Windows

Hold Alt and type 8866 on the numeric keypad.

macOS

Press Command + Control + Space to open the Character Viewer, then search for "Right Tack".

Related Symbols

∧ ∨ ¬ ⊨ ⊭ ∀