Unicode Character "⊬" (U+22AC)

The character ⊬ (Does Not Prove) is represented by the Unicode codepoint U+22AC. 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 ⊬.

Main Unicode Properties

Name Does Not Prove
Unicode Codepoint U+22AC
Unicode Version 1.1 (June, 1993)
Block Mathematical Operators
Plane Basic Multilingual Plane

Bidirectional Data

Bidirectional class Other Neutral (ON)
Is mirrored? Yes

Other Unicode Data

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

U+22AC Conversion

HTML (decimal) ⊬
HTML (hex) ⊬
HTML (named) ⊬
URL Escape Code %E2%8A%AC
CSS \0022AC
JavaScript, JSON \u22AC
C, C++, Java \u22AC
Python \u22AC
Rust \u{22AC}
Ruby \u22AC

How to type "⊬"

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

Preview

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

UTF Encodings

UTF-8 (hex) 0xE2 0x8A 0xAC
UTF-16 (hex) 0x22AC
UTF-32 (hex) 0x000022AC

References