True

⊨ is the Unicode character “TRUE” (U+22A8). It belongs to the Mathematical Operators block and was added in Unicode 1.1. Click it to copy, or use the codes below.

⊨ codes

UnicodeCode point U+22A8
HTML codeDecimal, works in any HTML page ⊨
HTML hexHexadecimal HTML code ⊨
CSSFor the CSS content property \22A8
JavaScriptEscape in JavaScript strings \u22A8
PythonEscape in Python strings \u22A8
URL encodedPercent-encoded UTF-8 %E2%8A%A8
UTF-8Bytes in UTF-8 E2 8A A8
UTF-16Code units in UTF-16 22A8

How to type ⊨

Copy and paste

Click to copy it, then paste with Ctrl + V (⌘ + V on a Mac) or a long press on phones.

Windows

Press Win + . to open the emoji and symbol panel, then search for “true”.

In Microsoft Word, type 22A8 and press Alt + X.

Mac

Press Control + ⌘ + Space to open the Character Viewer, then search for “true”.

iPhone and Android

Copy it here and paste it. To type it again later, save it as a text replacement (iPhone: Settings › General › Keyboard › Text Replacement; Gboard: Settings › Dictionary › Personal dictionary).

HTML and CSS

Unicode U+22A8. Every format is on the true page.

About ⊨

Unicode name
TRUE
Code point
U+22A8 (8872)
Block
Mathematical Operators
Category
Math Symbol
Unicode version
1.1