| Property | Value |
|---|---|
| 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 | Letters |
| 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} |