- Codepoint
U+22A8- Literal Character
- ⊨
- Name
- TRUE
- Sketch
- ........
........
........
........
........
........
........
........
........
........
........
........
........
........
........
........
- Aliases
-
statement is true, valid
is a tautology
satisfies
results in
- Control Character
- no
- Block
- Mathematical Operators
- Subblock
- Relations
- UTF-8 byte encoding
e2 8a a8- UTF-16 byte encoding
22 a8(big endian)- HTML Entity
⊨- LaTeX expression
$\models$- Perl string literal
\x{22A8}- Wikipedia
-
Double turnstile (en)
- Used In
-
Name Composed Of ⊭ NOT TRUE TRUE (U+22A8)
COMBINING LONG SOLIDUS OVERLAY (U+0338)