Does-Not-Prove (⊬)

Codes for the "Does-Not-Prove" Symbol

Click on a green box to copy its contents.

Formal Name:

Does-Not-Prove

The symbol:

⊬

The Alt Code:

Alt 8876

The HTML Code:

⊬

HTML Entity:

⊬

CSS Code:

\22AC

Hex Code:

⊬

Unicode:

U+22AC

Test Your Knowledge of the Mathematics Symbols

Here is a quick quiz to test your knowledge of the symbols used in Mathematics.

Getting ready...

View the Symbol in Different Sizes and Fonts

Attribute	Setting	Change
Font Size
Font Family	Arial	Arial Arial Black Verdana Tahoma Trebuchet MS Impact Times New Roman Didot Georgia American Typewriter Courier Lucida Console Monaco Bradley Hand Brush Script MT Luminari Comic Sans MS
Color/Colour	#000000

Video Explaining How to Insert Special Symbols

This video explains 7 ways to insert a special symbol into an MS Office application (e.g., Word) or a website using HTML, CSS, or JavaScript:

How To Insert the ⊬ Symbol

(Method 1) Copy and paste the symbol.

Click on the ⊬ symbol from the table above. Press the "Copy" button, and then paste the symbol into your document.

(Method 2) Use the "Alt Code."

The Alt Code for ⊬ is Alt 8876. If you have a keyboard with a numeric pad, you can use this method. Simply hold down the Alt Key and type 8876. When you lift the Alt Key, ⊬ appears. ("Num Lock" must be on.)

(Method 3) Use the HTML Decimal Code (for webpages).

HTML Text	Output
⊬	⊬

(Method 4) Use the HTML Entity Code (for webpages).

HTML Text	Output
⊬	⊬

(Method 5) Use the CSS Code (for webpages).

CSS and HTML Text	Output
<style> span:after { content: "\22AC";} </style> <span>Symbol:</span>	Symbol: ⊬

(Method 6) Use the HTML Hex Code (for webpages and HTML canvas).

HTML Text	Output
⊬	⊬

On the assumption that you already have your canvas and the context set up, use the Hex code in the format 0x22AC to place the ⊬ symbol on your canvas. For example:

JavaScript Text
const x = "0x"+"22AC" ctx.fillText(String.fromCodePoint(x), 5, 5);
Output
⊬

(Method 7) Use the Unicode (for various, e.g. Microsoft Office, JavaScript, Perl).

The Unicode for ⊬ is U+22AC. The important part is the hexadecimal number after the U+, which is used in various formats. For example, in Microsoft Office applications (e.g. Word, PowerPoint), do the following:

Type	Output
22AC [Hold down Alt] [Press x]	⊬ (Note that you can omit any leading zeros.)

In JavaScript, the syntax is \uXXXX. So, our example would be \u22AC. (Note that the format is 4 hexadecimal characters.)

JavaScript Text	Output
let str = "\u22AC" document.write("My symbol: " + str)	My symbol: ⊬

(Method 8) Use an Image (for various).

HTML Text	Output
<img src = "myImg.png"/>	⊬