Use ⊬ in HTML to render ⊬ on a web page.

Question 1

How do I type the Does Not Prove symbol?

Accepted Answer

The quickest way is to copy ⊬ from this page and paste it anywhere. You can also insert it with its Unicode, HTML, or alt code listed above.

Question 2

What is the Unicode code point for Does Not Prove?

Accepted Answer

⊬ is U+22AC (decimal 8876).

Question 3

What is the HTML entity for the Does Not Prove symbol?

Accepted Answer

Use &#8876; in HTML to render ⊬ on a web page.

Question 4

Is there a keyboard alt code for Does Not Prove?

Accepted Answer

On Windows you can type it with Alt+8876 (hold Alt and enter the number on the numeric keypad).

Question 5

Is the Does Not Prove symbol free to use?

Accepted Answer

Yes — copying is completely free and unlimited, and works right in your browser with no sign-up.

Does Not Prove

Unicode details