UnicodeCharactercom
⊬
U+22AC · DOES NOT PROVE

Does Not Prove

  • CodepointU+22AC
  • NameDOES NOT PROVE
  • Decimal8876
  • BlockMathematical Operators (U+2200–U+22FF)
  • Plane0 — Basic Multilingual Plane
  • ScriptCommon
  • CategorySm — Math Symbol
  • Unicode version1.1 (1993)
  • Bidi classON — Other Neutral
  • Combining class0
  • East Asian widthN — Neutral
  • MirroredYes

About this character

U+22AC (⊬) is DOES NOT PROVE, a mathematical symbol in the Mathematical Operators block. Its script is Common: it is shared by many writing systems rather than belonging to one. It was added in Unicode 1.1 (1993).

It is precomposed. Under NFD it decomposes into U+22A2 ⊢ + U+0338 ◌̸, and NFC recombines that sequence into this single codepoint, so both spellings are canonically equivalent and should compare equal after normalization. See the normalization guide.

It is a mirrored character: in right-to-left text renderers draw its mirror image.

How to type ⊬

§

Encodings & escapes

UTF-8 encoder →
UTF-8E2 8A AC3 bytes
UTF-1622AC1 code unit
UTF-32000022AC4 bytes
HTML named⊬named character reference
HTML decimal⊬
HTML hex⊬
CSS\22ACin content: "…"
JavaScript\u22AC
JSON\u22AC
Python\u22AC
Python\N{DOES NOT PROVE}by name
Java / C#\u22AC
C / C++\u22ACuniversal character name
Rust / Swift / PHP\u{22AC}
Go\u22AC
Ruby\u22AC
Excel / Sheets=UNICHAR(8876)
URL-encoded%E2%8A%ACpercent-encoded UTF-8
§

Normalization forms

Normalizer →
NFCunchanged
NFDU+22A2 ⊢ + U+0338 ◌̸
NFKCunchanged
NFKDU+22A2 ⊢ + U+0338 ◌̸
§

Nearby in Mathematical Operators

All in block →
U+22A6⊦Assertion U+22A7⊧Models U+22A8⊨True U+22A9⊩Forces U+22AA⊪Triple Vertical Bar Right Turnstile U+22AB⊫Double Vertical Bar Double Right Turnstile U+22AD⊭Not True U+22AE⊮Does Not Force U+22AF⊯Negated Double Vertical Bar Double Right Turnstile U+22B0⊰Precedes Under Relation U+22B1⊱Succeeds Under Relation U+22B2⊲Normal Subgroup of