🔍

Loading symbols…

››

⟝

long right tack

Long right tack

⟝ is a long-form right-tack symbol used in specialist mathematical notation. In logic and type theory, marks in this family can introduce a judgment—what follows from assumptions or rules—but the notation guide defines this one’s exact role. Unicode points it to the shorter without making the two interchangeable.

Text symbol

What ⟝ means

It is a formal symbol whose meaning depends on the notation.

The long right tack in logic and type theory belongs to a family of marks that can introduce a judgment: what follows from stated assumptions or rules. The notation guide for a proof or system defines the exact role of ⟝.

Unicode’s names list points ⟝ to the shorter right tack . That is a standards relationship, not a guarantee that the forms are interchangeable in every notation.

Technical and specialist; unusual in casual chat unless readers share the formal notation.

Do not infer universal emphasis from the longer shape.

Don't confuse it with

⟞

Long Left Tack

⟞ is the long left tack, with its crossbar extending the opposite way; direction is part of the character’s identity.

Questions people ask

Why does ⟝ show as a box or blank?

It can. The selected font may lack a glyph for ⟝; a font with mathematical-symbol coverage can display it.

How to type or find ⟝

Search it as: right tack · long tack · turnstile · proof symbol · logic symbol · type theory · formal notation · tack symbol
Shows up in: Anything that takes text · its shape is whatever your font draws

Windows (Word)

⎇Alt+XType 27DD, then AltX to get ⟝.

Windows

⊞Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win .).

macOS

⌃Control+⌘Command+␣SpaceOpen the character viewer and search “long right tack”.

Linux

⎈Ctrl+⇧Shift+UType 27dd, then Enter or Space.

HTML

⟝

CSS

\27DD

How to type ⟝

In an editor with Unicode hex input, enter 27DD and invoke its conversion command; the shortcut depends on the app.

Codes and encoding1 code points

HTML decimal

⟝

HTML hex

⟝

CSS content

content: "\27DD";

Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.

URL encoded

%E2%9F%9D

On screen

Code points

JS .length

UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

Maths & numbers1,835 symbols

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣