What ⫞ means
The source's convention tells you what relation it asserts. Unicode's chart cross-references the short left tack ⫞ to the separate left tack ⊣. That relationship does not give every formula the same reading or make the signs interchangeable.
Unicode's bidirectional-mirroring data pairs ⫞ with ⊦, named ASSERTION. In right-to-left text, the software laying out the line may display the mirrored glyph; the character in the text remains ⫞.
Don't confuse it with
1Questions 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.
How to type ⫞
Windows (Word)
Alt+XType 2ADE, then Alt+X 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 “short left tack”.
Linux
Ctrl+Shift+UType 2ade, then Enter or Space.
HTML
⫞CSS
\2ADELaTeX
In LaTeX, enter the command \shortlefttack.
Codes and encoding1 code points
HTML decimal
⫞
HTML hex
⫞
CSS content
content: "\2ADE";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%AB%9E
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.