U+22A3 "⊣" Left Tack Unicode Character
Unicode Version 18.0
Source: Browser Default
U+22A3 "⊣" Left Tack is a mathematical symbol that typically denotes the "proves" or "entails" relation in logic, specifically representing logical consequence where the symbol points to the right, indicating that the statement on its left side implies or proves the statement on its right side, and it is the mirror image of the "right tack" or "turnstile" symbol (⊢).
General Properties
Code Point
U+22A3
Name
Left Tack
Mirrored Character
Encodings
HTML Decimal Encoding
⊣
HTML Hex Encoding
⊣
UTF-8 Encoding
0xE2 0x8A 0xA3
UTF-16 Encoding
0x22A3
UTF-32 Encoding
0x000022A3
C/C++/Java Escape
\u22a3
Unicode Properties
Numeric Value
NaN
Script Extensions
Common