Unicode CharactersUnicode Characters

'⊬' - U+22AC Does Not Prove

CharactersEmojis

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'

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

Top