What ⫤ means
The notation defines its exact role. ⫤ is a turnstile symbol in formal logic, a mark used to show relations between statements; its Unicode name describes the form, not what a formula asserts. Unicode associates it with , the left-and-right double turnstile, but the glyphs are distinct. Follow the definitions used by the notation in the text you are reading.
Related characters
1
Questions people ask
1Why 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.
More like this
9
How to type or find ⫤
- Search it as
- turnstile symbol · turnstile in logic · double turnstile · ⫤ meaning
- Shows up in
- Anything that takes text · its shape is whatever your font draws
Windows (Word)
Windows
macOS
HTML
⫤CSS
\2AE4Codes and encoding1 code points
HTML decimal
⫤
HTML hex
⫤
CSS content
content: "\2AE4";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%AB%A4
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.