This character is a Math Symbol and is commonly used, that is, in no specific script.
The glyph is a canonical composition of the glyphs Glyph for U+22A8True, Glyph for U+0338Combining Long Solidus Overlay. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored. The word that U+22AD forms with similar adjacent characters prevents a line break inside it.
The Wikipedia has the following information about this codepoint:
In logic, the symbol ⊨, ⊧ or is called the double turnstile. It is often read as "entails", "models", "is a semanticconsequence of" or "is stronger than". It is closely related to the turnstile symbol , which has a single bar across the middle, and which denotes syntactic consequence (in contrast to semantic).
Representations
System
Representation (click value to copy)
Nº
8877
UTF-8
E2 8A AD
UTF-16
22 AD
UTF-32
00 00 22 AD
URL-Quoted
%E2%8A%AD
HTML hex reference
⊭
Wrong windows-1252 Mojibake
âŠ
HTML named entity
⊭
Encoding: GB18030 (hex bytes)
81 36 DF 33
LATEX
\nvDash
RFC 5137
\u'22AD'
Bash and Zsh inside echo -e
\u22AD
C and C++
\u22AD
C#
\u22AD
CSS
\0022AD
Excel
=UNICHAR(8877)
Go
\u22AD
JavaScript
\u22AD
Modern JavaScript since ES6
\u{22ad}
JSON
\u22AD
Java
\u22AD
Lua
\u{22AD}
Matlab
char(8877)
Perl
"\x{22AD}"
PHP
\u{22ad}
PostgreSQL
U&'\22AD'
PowerShell
`u{22AD}
Python
\u22AD
Ruby
\u{22ad}
Rust
\u{22ad}
Click the star button next to each label to set this representation as favorite or remove it from the favorites. Favorites will be shown initially. (Favorites are stored locally on your computer and never sent over the internet.)