Does Not Prove ⊬
Symbol Meaning
Does Not Prove. Mathematical Operators.
The symbol “Does Not Prove” is included in the “Relations” subblock of the “Mathematical Operators” block and was approved as part of Unicode version 1.1 in 1993.
| Unicode Name | Does Not Prove |
| Unicode Number | |
| HTML Code | |
| CSS Code | |
| Entity | ⊬ |
| Plane | 0: Basic Multilingual Plane |
| Unicode Block | Mathematical Operators |
| Unicode Subblock | Relations |
| Unicode Version | 1.1 (1993) |
| Type of paired mirror bracket (bidi) | None |
| Composition Exclusion | No |
| Case change | 22AC |
| Simple case change | 22AC |
| Math | + |
| Grapheme_Base | + |
| scripts | Common |
| Pattern_Syntax | + |
| Encoding | hex | dec (bytes) | dec | binary |
|---|---|---|---|---|
| UTF-8 | E2 8A AC | 226 138 172 | 14846636 | 11100010 10001010 10101100 |
| UTF-16BE | 22 AC | 34 172 | 8876 | 00100010 10101100 |
| UTF-16LE | AC 22 | 172 34 | 44066 | 10101100 00100010 |
| UTF-32BE | 00 00 22 AC | 0 0 34 172 | 8876 | 00000000 00000000 00100010 10101100 |
| UTF-32LE | AC 22 00 00 | 172 34 0 0 | 2887909376 | 10101100 00100010 00000000 00000000 |