››

⫣

double vertical bar left turnstile

Double Vertical Bar Left Turnstile

⫣ is a specialized mark in mathematical logic; its meaning depends on the notation used in the formula. Unicode’s name list cross-references it to , annotated “forces,” but that link does not make the symbols interchangeable. The broader double-turnstile notation is documented in Simon Kochen’s 1959 thesis and 1961 paper; that history does not settle every use of ⫣.

Text symbol

What ⫣ means

⫣ is the double vertical bar left turnstile. Unicode classifies it as a mathematical symbol and files it in the Supplemental Mathematical Operators block; this site shelves it under Maths.

Its appearance depends on the font and text styling.

How it is encoded

⫣ is a single code point, U2AE3. In HTML that is ⫣, and in CSS \2AE3.

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 ⫣

Search it as: turnstile · double-turnstile · logic · forces · ⊩
Shows up in: Anything that takes text · its shape is whatever your font draws

Windows (Word)

⎇Alt+XType 2AE3, 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 “double vertical bar left turnstile”.

Linux

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

HTML

⫣

CSS

\2AE3

Codes and encoding1 code points

HTML decimal

⫣

HTML hex

⫣

CSS content

content: "\2AE3";

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

URL encoded

%E2%AB%A3

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