Does Not Prove

Group: Mathematics

Keywords

math

About this character

Does Not Prove belongs to the Mathematics group and is encoded at U+22AC. It was added in Unicode 0.0.

Shortcode

Chat apps such as Slack, Discord and GitHub accept this shortcode instead of the character itself.

Technical codes

Code point: U+22AC
Hex: 22AC
Decimal: 8876
HTML: ⊬
CSS: \22AC
JavaScript: \u22AC
Python: \u22AC
UTF-8: E2 8A AC

The same character is drawn differently by each operating system and font.

For All U+2200
Complement U+2201
Partial Differential U+2202
There Exists U+2203
There Does Not Exist U+2204
Empty Set U+2205
Increment U+2206
Nabla U+2207
Element Of U+2208
Not An Element Of U+2209
Small Element Of U+220A
Contains As Member U+220B
Does Not Contain As Member U+220C
Small Contains As Member U+220D
End Of Proof U+220E
N-Ary Product U+220F
N-Ary Coproduct U+2210
N-Ary Summation U+2211
Minus Sign U+2212
Minus-Or-Plus Sign U+2213
Dot Plus U+2214
Division Slash U+2215
Set Minus U+2216
Asterisk Operator U+2217

Questions

Why does this emoji look different on my phone?

Unicode standardises the meaning of a character, not its drawing. Apple, Google, Microsoft and Samsung each ship their own artwork, so the same code point changes shape between devices.

Does copying work everywhere?

The character is copied as plain text, so it pastes into any app that accepts text. If the receiving app has no font for it, you will see an empty box instead.