True
U+22A8Mathematical Operators
Also known as double turnstilemodelsentails
Copy and paste ⊨. The True character has Unicode code point U+22A8 and decimal HTML code ⊨.
Symbol codes
- Unicode
U+22A8- HTML Code
⊨- CSS Code
\22A8- HTML Entity
⊨- HEX Code
⊨
Technical properties
Unicode 18.0.0
- Code point
- U+22A8
- Decimal
- 8872
- Unicode name
- TRUE
- Block
- Mathematical Operators · U+2200–U+22FF
- General category
- Math Symbol (Sm)
- Script
- Common
- Introduced
- Unicode 1.1
- JavaScript
- "\u22A8"
Appears in
About True
⊨ is encoded in Unicode as code point U+22A8 (decimal 8872). Its official Unicode name is TRUE.
It belongs to the Mathematical Operators block (U+2200–U+22FF), its General Category is Math Symbol (Sm), and it was added in Unicode 1.1, released in 1993. Its script value is Common: it is shared across writing systems rather than belonging to one.
Sources: Unicode Character Database 18.0.0, the HTML Standard’s list of named character references, and Unicode’s code page mappings.
How to type or insert True
- Any device
- Select Copy symbol, then paste with Ctrl+V, or ⌘+V on a Mac.
- Microsoft Word
- Type
22A8, then press Alt+X. - macOS Character Viewer
- Press Control+⌘+Space and search for “true”.
- Linux (GTK and IBus)
- Press Ctrl+Shift+U, type
22a8, then press Space. - HTML
⊨or⊨. In a UTF-8 page you can also paste the character itself.- CSS
content: "\22A8";in a::beforeor::afterrule.- JavaScript
"\u22A8"
Common questions about True
What is the True symbol?
⊨ (True) is a math symbol in Unicode’s Mathematical Operators block. Its code point is U+22A8, and it has been part of the standard since Unicode 1.1 (1993). It is also known as double turnstile, models, and entails.
How do I copy and paste the True symbol?
Select Copy symbol at the top of this page, then paste with Ctrl+V on Windows and Linux or ⌘+V on a Mac. On a phone, tap Copy symbol, then touch and hold where you want it and choose Paste. ⊨ pastes as ordinary text, so it works in documents, messages, and code.
How do I type the True symbol on Windows?
In Microsoft Word, type 22A8 and press Alt+X to turn the code into ⊨. In any app, open Character Map from the Start menu, search for “true”, then select and copy the character.
How do I type the True symbol on a Mac?
Press Control+⌘+Space to open the Character Viewer, search for “true”, and double-click the result to insert it.
How do I type the True symbol on an iPhone or Android phone?
The simplest way is to copy it from this page and paste it where you need it. If you use it often, save it as a text shortcut: on iPhone, go to Settings > General > Keyboard > Text Replacement; with Gboard on Android, go to Gboard settings > Dictionary > Personal dictionary.
Can I use the True symbol in Word, Google Docs, and social media?
Yes. ⊨ is a standard Unicode character, so you can paste it into Microsoft Word, Google Docs, emails, and posts or bios on Instagram, X, Facebook, and TikTok. In Google Docs you can also choose Insert > Special characters and search for “true”. In Word, choose Insert > Symbol > More Symbols, set from to Unicode (hex), and enter 22A8 as the character code.
Is the True symbol an emoji?
No. ⊨ is a text symbol, not an emoji. It takes the color and size of the surrounding text, and its exact shape depends on the font.
Why does the True symbol show as a box or question mark?
An empty box or a question mark means the font on that device has no glyph for ⊨. The character is still there: it appears correctly wherever a font covers Unicode’s Mathematical Operators block, and free font families such as Google Noto cover nearly all of Unicode.
What are the HTML and CSS codes for the True symbol?
In HTML, write ⊨ (decimal) or ⊨ (hexadecimal), or the named entity ⊨. In CSS, use content: "\22A8"; in a ::before or ::after rule, and in JavaScript "\u22A8". See all HTML codes.