Unicode Character "⊨" (U+22A8)

The character ⊨ (TRUE) is represented by the Unicode codepoint U+22A8. It is encoded in the Mathematical Operators block, which belongs to the Basic Multilingual Plane. It was added to Unicode in version 1.1 (June, 1993). It is HTML encoded as ⊨. Its mirrored character is ⫤ (U+2AE4).

Main Unicode Properties

Name TRUE
Unicode Codepoint U+22A8
Unicode Version 1.1 (June, 1993)
Block Mathematical Operators
Plane Basic Multilingual Plane

Bidirectional Data

Bidirectional class Other Neutral (ON)
Is mirrored? Yes
Mirrored character ⫤ (U+2AE4)

Other Unicode Data

Category Math Symbol
Script Code for undetermined script
Combining Class Not Reordered

U+22A8 Conversion

HTML (decimal) ⊨
HTML (hex) ⊨
HTML (named) ⊨
URL Escape Code %E2%8A%A8
CSS \22A8
JavaScript \u{22A8}
JSON \u22A8
C, C++ \U000022A8
Java \u22A8
Python \U000022A8
Rust \u{22A8}
Ruby \u{22A8}

How to type "⊨"

  • Windows ?: Hold Alt, then type 2 2 A 8. Release Alt.
  • Mac ?: Hold Alt ⌥, then type 2 2 A 8. Release Alt.

Preview

  • ⊨
    Times, Times New Roman, serif
  • ⊨
    Helvetica, Arial, sans-serif
  • ⊨
    Courier, Courier New, monospace

UTF Encodings

UTF-8 (hex) 0xE2 0x8A 0xA8
UTF-16 (hex) 0x22A8
UTF-32 (hex) 0x000022A8

Characters based on "⊨" (U+22A8)

References