⊬
U+22AC DOES NOT PROVE
Mathematical Operators · Math symbol
| Name | DOES NOT PROVE |
|---|---|
| Code point | U+22AC |
| Decimal | 8876 |
| Block | Mathematical Operators |
| Category | Math symbol (Sm) |
| UTF-8 | E2 8A AC |
| UTF-16 | 22AC |
| UTF-32 | 000022AC |
| HTML | ⊬ ⊬ |
| CSS | \22AC |
| JavaScript | \u22AC |
| Python | \u22ac |
| URL-encoded | %E2%8A%AC |
| Decomposition | 22A2 0338 |
Frequently asked questions
What is the character U+22AC?
U+22AC ⊬ is officially named DOES NOT PROVE. It belongs to the Mathematical Operators block and the category Math symbol.
How do I type ⊬?
Windows (Word, WordPad): type 22AC, then press Alt+X. Linux (GTK/IBus): Ctrl+Shift+U 22ac, then Space. macOS: enable the “Unicode Hex Input” keyboard, hold Option and type 22AC. Or simply copy it from this page.
How do I write ⊬ in HTML?
As a numeric character reference ⊬ (decimal) or ⊬ (hexadecimal). In UTF-8 documents you can also insert the character directly.
How is ⊬ encoded in UTF-8?
In UTF-8 the character takes 3 bytes: E2 8A AC. In UTF-16: 22AC.
Nearby entries
- ⊧ 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