Shapecatcher.com: Unicode character information for 'True' (0x22A8)

Unicode character information

True

Displayed on your computer as: ⊨
(if the character is not rendered properly, you may not have the appropriate fonts)

Unicode name: True
Alternative names:

results in
satisfies
statement is true
tautology
True
valid

Codepoint (hexadecimal): 0x22A8
Codepoint (decimal): 8872
In unicode block: Mathematical Operators

Html entities:

⊨ or ⊨

Character input:

There is no universal input system for Unicode characters. But you can use the system-specific input methods below.

Windows:	Hold down `Alt` and press `+` on the numeric keyboard. Type: `22A8` and release `Alt`. A registry key needs to be enabled for this to work. See Unicode input (wikipedia) for more details.
Linux:	Hold down `Ctrl` and `⇧ Shift` and type `U22A8`. Now press `↵ Enter` and release `Ctrl` and `⇧ Shift`.

Other Infos:

General category: Sm (Math_Symbol): A symbol of primarily mathematical use.
Bidirectional class: ON (Other_Neutral): Most other symbols and punctuation marks.
Canonical combining class: 0 (Not_Reordered): Spacing and enclosing marks; also many vowel and consonant signs, even if nonspacing.