CharacterCodes.net
Favorites

⊬ - U+22AC Does Not Prove

If this site has been useful, we’d love your support! Consider buying us a coffee to keep things going strong!

Character

Previous Next
⊬
When checked, Bold & Italics will not work! Change color of character

Unicode Data

View details and encodings for Unicode character U+22AC Does Not Prove, located in the Mathematical Operators block and Math Symbol category. This character was released in 1993 under Unicode version 1.1.

Name:
Does Not Prove
Category:
Math Symbol
Block:
Mathematical Operators
Script:
Common
Decomposition:
[canonical] ⊢ (U+22A2),  ̸ (U+0338)
Bidirectional:
Other Neutrals
Mirrored:
Yes,
Unicode Version:
Unicode 1.1

Character Encodings

HTML Entity - Named:

⊬

HTML Entity - Decimal:
⊬
HTML Entity - Hex:
⊬
Unicode:
U+22AC;
Decimal:
8876
CSS:
\0022AC
Javascript:
\u22AC
Perl:
\x{22AC}
Ruby:
\u{22AC}
Python:
u'\u22AC'
UTF-8 Encoding:
E28AAC
UTF-16 Encoding:
22AC
UTF-32 Encoding:
000022AC

Other Characters Based on - ⊢ (U+22A2)

Image Browser Unicode Name
Does Not Prove⊬U+22ACDoes Not Prove

Other Characters Based on - ̸ (U+0338)

Image Browser Unicode Name
Leftwards Arrow With Stroke↚U+219ALeftwards Arrow With Stroke
Rightwards Arrow With Stroke↛U+219BRightwards Arrow With Stroke
Left Right Arrow With Stroke↮U+21AELeft Right Arrow With Stroke
Leftwards Double Arrow With Stroke⇍U+21CDLeftwards Double Arrow With Stroke
Left Right Double Arrow With Stroke⇎U+21CELeft Right Double Arrow With Stroke
Rightwards Double Arrow With Stroke⇏U+21CFRightwards Double Arrow With Stroke
There Does Not Exist∄U+2204There Does Not Exist
Not An Element Of∉U+2209Not An Element Of
Does Not Contain As Member∌U+220CDoes Not Contain As Member
Does Not Divide∤U+2224Does Not Divide
Not Parallel To∦U+2226Not Parallel To
Not Tilde≁U+2241Not Tilde
Not Asymptotically Equal To≄U+2244Not Asymptotically Equal To
Neither Approximately Nor Actually Equal To≇U+2247Neither Approximately Nor Actually Equal To
Not Almost Equal To≉U+2249Not Almost Equal To
Not Equal To≠U+2260Not Equal To
Not Identical To≢U+2262Not Identical To
Not Equivalent To≭U+226DNot Equivalent To
Not Less-Than≮U+226ENot Less-Than
Not Greater-Than≯U+226FNot Greater-Than
Neither Less-Than Nor Equal To≰U+2270Neither Less-Than Nor Equal To
Neither Greater-Than Nor Equal To≱U+2271Neither Greater-Than Nor Equal To
Neither Less-Than Nor Equivalent To≴U+2274Neither Less-Than Nor Equivalent To
Neither Greater-Than Nor Equivalent To≵U+2275Neither Greater-Than Nor Equivalent To
Neither Less-Than Nor Greater-Than≸U+2278Neither Less-Than Nor Greater-Than
Neither Greater-Than Nor Less-Than≹U+2279Neither Greater-Than Nor Less-Than
Does Not Precede⊀U+2280Does Not Precede
Does Not Succeed⊁U+2281Does Not Succeed
Not A Subset Of⊄U+2284Not A Subset Of
Not A Superset Of⊅U+2285Not A Superset Of
Neither A Subset Of Nor Equal To⊈U+2288Neither A Subset Of Nor Equal To
Neither A Superset Of Nor Equal To⊉U+2289Neither A Superset Of Nor Equal To
Does Not Prove⊬U+22ACDoes Not Prove
Not True⊭U+22ADNot True
Does Not Force⊮U+22AEDoes Not Force
Negated Double Vertical Bar Double Right Turnstile⊯U+22AFNegated Double Vertical Bar Double Right Turnstile
Does Not Precede Or Equal⋠U+22E0Does Not Precede Or Equal
Does Not Succeed Or Equal⋡U+22E1Does Not Succeed Or Equal
Not Square Image Of Or Equal To⋢U+22E2Not Square Image Of Or Equal To
Not Square Original Of Or Equal To⋣U+22E3Not Square Original Of Or Equal To
Not Normal Subgroup Of⋪U+22EANot Normal Subgroup Of
Does Not Contain As Normal Subgroup⋫U+22EBDoes Not Contain As Normal Subgroup
Not Normal Subgroup Of Or Equal To⋬U+22ECNot Normal Subgroup Of Or Equal To
Does Not Contain As Normal Subgroup Or Equal⋭U+22EDDoes Not Contain As Normal Subgroup Or Equal
Forking⫝̸U+2ADCForking
If this site has been useful, we’d love your support! Consider buying us a coffee to keep things going strong!

Copyright © 2026 CharacterCodes.net - All Rights Reserved.

Browser Extensions Contact Privacy Policy