››

⫢

vertical bar triple right turnstile

Vertical Bar Triple Right Turnstile

⫢ is a specialist logic relation with the Unicode gloss “ordinarily satisfies.” It belongs to turnstile notation, a family of logic signs built from bars. The surrounding definitions determine exactly how a particular formula uses it.

Text symbol

What ⫢ means

It marks a relation of satisfaction.

In logic, a model satisfies a statement when it holds under that model’s interpretation of its symbols. The author’s definitions supply the exact conditions for ⫢.

Don't confuse it with

⊨

True

This turnstile has two horizontal strokes; ⫢ has three. Unicode glosses ⊨ as “true” and ⫢ as “ordinarily satisfies,” so the line count matters.

Questions people ask

Why does ⫢ show as a box on some devices?

Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.

How to type or find ⫢

Also called: Ordinarily satisfies
Search it as: vDdash · three-line turnstile
Shows up in: Anything that takes text · its shape is whatever your font draws

Windows (Word)

⎇Alt+XType 2AE2, 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 “vertical bar triple right turnstile”.

Linux

⎈Ctrl+⇧Shift+UType 2ae2, then Enter or Space.

HTML

⫢

CSS

\2AE2

LaTeX

As of 2026, use \vDdash with the unicode-math package in LuaLaTeX or XeLaTeX.

Codes and encoding1 code points

HTML decimal

⫢

HTML hex

⫢

CSS content

content: "\2AE2";

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

URL encoded

%E2%AB%A2

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️⃣