| Symbol Name | True |
| Unicode Version | 1.1 |
| Unicode | U+22A8 |
| Unicode block | |
| General category | Math Symbol (Sm) |
| CSS Code | \22A8 |
| Hex Code | 0x22A8 |
| HTML Code | ⊨ |
| LaTeX | \models |
| Symbol | ⊨ |
| URL encode (UTF-8 percent) | %E2%8A%A8 |
| Spoken / screen reader name | True |
| UTF-8 | E2 8A A8 |
| UTF-16 | 22A8 |
| UTF-32 | 000022A8 |
1\documentclass{article}2\usepackage{pifont}3\models 4\end{document}You can type the true symbol on most modern devices with the help of following methods:
Alt + 8872 on Windows (numeric keypad with Num Lock), or insert via Character Map.
Edit → Emoji & Symbols, search "true", or use Unicode Hex Input with 22A8.
Ctrl + Shift + U, type 22a8, then Enter (layout-dependent).
Paste from this page, use text replacement, or pick from the symbol keyboard.
Paste from this page or use a keyboard with math symbol support.
1span.double-turnstile::before { content: "\22A8"; }1<span>⊨</span>True symbol's representation in different programming languages can be found in the table below:
| Language | Representation |
|---|---|
| JavaScript / TypeScript | '\u22A8' or String.fromCodePoint(0x22A8) |
| Python | '\N{TRUE}' or chr(8872) |
| Rust | '\u{22A8}' |
| C / C++ | UTF-8 source or wchar_t with U+22A8 |
| Go | string(rune(0x22A8)) |
| Ruby | "\u22A8" |