Does Not Prove HTML entity &nvdash;

&nvdash; is the HTML entity for Does Not Prove ⊬ (U+22AC). Copy the decimal ⊬ and hex ⊬ codes plus CSS, JavaScript, Python and URL escapes.

Entity: &nvdash;
Code point: U+22AC
Unicode name: DOES NOT PROVE
Block: Mathematical Operators
Category: Math symbol (Sm)
Since: Unicode 1.1
Defined in: HTML5

Codes to copy

HTML named	`&nvdash;`Works in HTML; in XML only & < > " ' are predefined.
HTML decimal	`⊬`Works in HTML and XML.
HTML hex	`⊬`Works in HTML and XML.
CSS	`content: "\22AC";`In a stylesheet, for ::before and ::after.
JavaScript	`"\u22AC"`Also valid in JSON.
Python	`"\u22ac"`Python 3 string literal.
Python by name	`"\N{DOES NOT PROVE}"`Readable alternative using the Unicode name.
URL	`%E2%8A%AC`Percent-encoded UTF-8 bytes, for a path or query value.
UTF-8 bytes	`E2 8A AC`3 bytes.
UTF-16	`22AC`1 code unit, which is what JavaScript length counts.

When to use it

&nvdash; writes U+22AC (Does Not Prove), a maths symbol from the Unicode Mathematical Operators block, encoded since Unicode 1.1. For more than a symbol or two, MathML, supported in all major browsers since 2023, gives proper maths spacing and layout.

The name comes from the HTML5 list (much of it shared with MathML), so it works in every current browser but not in XML or XHTML served as XML, where the numeric reference is the safe choice.

More maths operators

All maths operators · Every HTML entity · Encode or decode text

Source: the WHATWG HTML Standard list of named character references and the Unicode Character Database (Unicode 18.0).