HTML Entity for Not True (⊭)

Beginner

5 min read

Updated: Sep 2026

1 example

Unicode U+22AD

HTML Entity for not true (U+22AD) tutorial illustration

Definition

What Is the Not True Entity?

Not true (⊭) is the Mathematical Operators character at Unicode U+22AD (NOT TRUE). It is a negated turnstile used in modal logic and proof theory to say a formula is not true (not modeled) in a given context.

Remember

Character     ⊭
Unicode       U+22AD
Named entity  &nvDash;
Hex entity    &#x22AD;
Decimal       &#8877;
CSS escape    \22AD
Affirmative   &vDash; (⊨, U+22A8)

Named, hex, decimal, CSS, and a typed character all produce the same glyph: ⊭. Prefer &nvDash; in HTML source for clarity.

Reference

Quick Reference

One table for every form you will actually use.

Form	Code	Where it goes
Named entity	`&nvDash;`	HTML markup (best default)
Hex entity	`⊭`	HTML markup
Decimal entity	`⊭`	HTML markup
CSS escape	`\22AD`	Stylesheet `content`
Direct character	`⊭`	UTF-8 HTML text

When to Use Which

Situation	Use
Readable HTML source	`&nvDash;`
Numeric entity required	`⊭` or `⊭`
Generated text via `::before` / `::after`	`content: "\22AD"`
Affirmative ⊨ (models / true)	`&vDash;` — see True
Propositional negation ¬	`¬` — see Not Sign

See it

Live Preview

Not true in logic and comparison contexts.

Relation W ⊭ φ

Large glyph ⊭

Named entity &nvDash; → ⊭

vs ⊨ / ¬ / ⊯ ⊭ | ⊨ | ¬ | ⊯

With entities Named: ⊭ | Hex: ⊭ | Decimal: ⊭

Code

Complete HTML Example

One page that shows this symbol with named, hex, decimal, and CSS forms. Use View Output or open the live editor.

Named + Hex + Decimal + CSS

Four ways to produce ⊭ in a single document.

html

<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="UTF-8">
  <title>Not True (&nvDash;)</title>
  <style>
    #point::after {
      content: "\22AD";
    }
  </style>
</head>
<body>
  <p>Using Named Entity: &nvDash;</p>
  <p>Using Hex Code: &#x22AD;</p>
  <p>Using HTML Code: &#8877;</p>
  <p id="point">Using CSS Entity: </p>
  <p>Example: W &nvDash; &phi;</p>
</body>
</html>

Try It Yourself

How It Works

1. Named: &nvDash; is the clearest HTML form and renders ⊭.

2. Hex: U+22AD → ⊭ in HTML. Same result as the named entity.

3. Decimal: same code point as 8877 → ⊭. Same result as hex.

4. CSS: use \22AD in content (not an HTML entity). #point::after appends that ⊭ after the paragraph text.

Pitfalls & Tips

Common mistakes when working with the not-true entity.

Pair

`&nvDash;` ≠ `&vDash;`

&nvDash; is the negation. &vDash; is the affirmative true / models symbol (⊨).

Case

`&nvDash;` ≠ `&nVDash;`

Named entities are case-sensitive. &nVDash; is ⊯ (U+22AF) — a different turnstile.

Look-alikes

Not `¬`

¬ (¬) is propositional negation. &nvDash; is a logic turnstile meaning “not true.”

CSS vs HTML

Do not mix escapes

\22AD belongs in CSS. &nvDash; / ⊭ / ⊭ belong in HTML.

Fonts

Glyph coverage

Some fonts omit Mathematical Operators. If ⊭ looks like a box, switch to a math-capable font.

Semicolon

End references

Always finish with ; — write &nvDash;, not &nvDash.

Compatibility

Browser Support

Not true (U+22AD) and its entity forms (&nvDash;, ⊭, ⊭, CSS \\22AD) are supported in all modern browsers. Glyph availability depends on the font.

✓ Universal encoding

Not True (&nvDash;)

Encode with named, hex, decimal, or CSS escape — or paste ⊭ directly in UTF-8 HTML.

100% Browser coverage

Google Chrome Supported

Yes

Microsoft Edge Supported

Yes

Mozilla Firefox Supported

Yes

Apple Safari Supported

Yes

Opera Supported

Yes

Internet Explorer All versions

Yes

U+22AD Full support

Bottom line: Prefer &nvDash; for readable HTML. Use \\22AD only inside CSS content.

Remember

Key Takeaways

Unicode: this character is U+22AD (decimal 8877).
HTML: prefer &nvDash; — or use ⊭ / ⊭.
CSS: use \22AD inside content for generated text.
Watch out: &nvDash; ≠ &vDash; ≠ &nVDash; ≠ ¬.

One line: U+22AD → &nvDash; / ⊭ / ⊭ / CSS \22AD.

Frequently Asked Questions

How do I display not true (⊭) in HTML using entities?

Use &nvDash; (named), ⊭ (hex), ⊭ (decimal), or the CSS escape \22AD in the content property. All render ⊭. Prefer &nvDash; in HTML source.

What is the Unicode value for nvDash?

U+22AD (NOT TRUE). Hex 22AD, decimal 8877. It belongs to the Mathematical Operators block (U+2200–U+22FF).

Is there a named HTML entity for U+22AD?

Yes. &nvDash; is the HTML5 named entity for ⊭. Related: &vDash; for ⊨ (U+22A8) and &nVDash; for ⊯ (U+22AF). Names are case-sensitive.

When should I use this HTML entity?

Use it in modal logic, proof theory, and formal semantics when a formula is not true (not modeled) in a given context. Prefer &nvDash; for readable source.

What is the difference between HTML code and CSS entity for U+22AD?

HTML entities (&nvDash;, ⊭, or ⊭) go in markup. The CSS escape \22AD is used in stylesheets (usually in the content property of ::before/::after). Both render ⊭.

How is ⊭ different from ⊨, ¬, or ⊯?

⊨ (&vDash;) means true / models. ⊭ (&nvDash;) is its negation. ¬ (¬) is propositional negation. ⊯ (&nVDash;) is a different double-bar negated turnstile.

Did you know?

Not true (⊭) is Unicode U+22AD (decimal 8877) in Mathematical Operators. HTML5 provides &nvDash; — the most readable form. It negates true / models (&vDash;, ⊨, U+22A8). Distinct from propositional ¬ (¬) and from &nVDash; (⊯, double-bar negation).

Next: Notched Lower Right Shadowed White Right Arrow

Learn the HTML entity for ➨ — next in this sequence.

Continue tutorial →

About the author

Mari Selvan M P 🔗

Developer, cloud engineer, and technical writer

Experience 12 years building web and cloud systems
Focus Full Stack Development, AWS, and Developer Education

I write practical tutorials so students and working developers can learn by doing—from databases and APIs to deployment on AWS.

AWS Certified Developer – Associate (Credly)

8 people found this page helpful

HTML Entity | Not Tilde Above HTML Entity | Notched Lower Right Shadowed White Right Arrow