HTML Entity for True (⊨)

Beginner

5 min read

Updated: Sep 2026

1 example

Unicode U+22A8

HTML Entity for True (U+22A8) tutorial illustration

Definition

What Is the True Entity?

True (⊨) is the Mathematical Operators character at Unicode U+22A8 (TRUE). Also called the models symbol or double right tack. HTML5 names it &vDash;. Use it for M ⊨ φ in mathematical logic.

Remember

Character     ⊨
Unicode       U+22A8
Named entity  &vDash;
Hex entity    &#x22A8;
Decimal       &#8872;
CSS escape    \22A8
Not the same  &vdash; (⊢) · &Vdash; (⊩) · ⊤

Named, hex, decimal, CSS, and a typed character all produce the same glyph: ⊨. Prefer &vDash; in HTML markup (lowercase v, capital D). Related: &Vvdash; (triple bar) and &vdash; (left tack).

Reference

Quick Reference

One table for every form you will actually use.

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

When to Use Which

Situation	Use
Models / true (⊨)	`&vDash;` (preferred)
Numeric-only markup	`⊨` or `⊨`
Generated text via `::before` / `::after`	`content: "\22A8"`
Proves / left tack (⊢)	Use `&vdash;` (U+22A2)
Forces / double bar (⊩)	Use `&Vdash;` (U+22A9)

See it

Live Preview

True / models symbol in logic notation, compared with related turnstiles.

Models M ⊨ φ

Large glyph ⊨

Named entity &vDash; → ⊨

vs left / forces ⊢ | ⊨ | ⊩

With entities Named: ⊨ | Hex: ⊨ | Decimal: ⊨

Code

Complete HTML Example

One page that shows True with named, hex, decimal, CSS escape, and a typed character. Use View Output or open the live editor.

Named + Hex + Decimal + CSS + Typed

Five ways to display ⊨ in HTML and CSS.

html

<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="UTF-8">
  <title>True (⊨)</title>
  <style>
    #point::after {
      content: "\22A8";
    }
  </style>
</head>
<body>
  <p>Built with Named: &vDash;</p>
  <p>Built with Hex: &#x22A8;</p>
  <p>Built with Decimal: &#8872;</p>
  <p id="point">Built with CSS: </p>
  <p>Typed: ⊨</p>
  <p><em>M</em> &vDash; &#x03C6;</p>
</body>
</html>

Try It Yourself

How It Works

1. Named: &vDash; is the preferred HTML5 name for U+22A8 → ⊨ (lowercase v, capital D).

2. Hex: ⊨ inserts the same code point. Same visual as named.

3. Decimal: same code point as 8872 → ⊨.

4. CSS: use \22A8 in content (not an HTML entity). #point::after appends ⊨.

5. Typed: paste ⊨ in a UTF-8 document, or write <em>M</em> &vDash; φ for models notation.

Pitfalls & Tips

Common mistakes when working with True.

Named

Prefer `&vDash;`

&vDash; is case-sensitive. Lowercase v and capital D — not &vdash;, &Vdash;, or &VDash;.

Look-alikes

⊨ ≠ ⊢ ≠ ⊩ ≠ ⊤

Models is &vDash;. Left tack is &vdash;. Forces is &Vdash;. Down tack (logical top) is U+22A4 — a different character.

A11y

Add context

A lone ⊨ may be unclear. Pair it with wording such as “models” or “true” for screen readers.

Fonts

Glyph coverage

Mathematical Operators coverage varies. Test logic pages on mobile and provide a MathML or image fallback if ⊨ is missing.

CSS vs HTML

Do not mix escapes

\22A8 belongs in CSS. &vDash; / ⊨ / ⊨ belong in HTML.

Semicolon

End references

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

Compatibility

Browser Support

True (U+22A8) and its entity forms (&vDash;, ⊨, ⊨, CSS \\22A8) are supported in all modern browsers. Glyph coverage depends on the font.

✓ Universal encoding

True (⊨)

Encode with named, hex, decimal, or CSS escape — or type ⊨ directly in UTF-8 HTML. Prefer &vDash;.

100% Browser coverage

Google Chrome Supported

Yes

Microsoft Edge Supported

Yes

Mozilla Firefox Supported

Yes

Apple Safari Supported

Yes

Opera Supported

Yes

Internet Explorer IE 9+

Yes*

U+22A8 Full support

Bottom line: Prefer &vDash; for readable HTML. Use \\22A8 only inside CSS content. Watch casing vs &vdash;, &Vdash;, and &VDash;.

Remember

Key Takeaways

Unicode: this symbol is U+22A8 (decimal 8872) — true / models.
HTML: prefer &vDash; — or use ⊨ / ⊨.
CSS: use \22A8 inside content for generated logic markers.
Watch out: not the same as &vdash;, &Vdash;, or down tack ⊤.

One line: U+22A8 → &vDash; / ⊨ / ⊨ / CSS \22A8.

Frequently Asked Questions

How do I display True (⊨) in HTML using entities?

Use &vDash; (named), ⊨ (hex), ⊨ (decimal), or the CSS escape \22A8 in the content property. All render ⊨. Prefer &vDash; for readable markup.

What is the Unicode value for True?

U+22A8 (TRUE). Hex 22A8, decimal 8872, named entity &vDash;. It belongs to Mathematical Operators (U+2200–U+22FF). Also called the models symbol or double right tack.

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

Yes. HTML5 defines &vDash; for U+22A8. It is case-sensitive — write &vDash; (lowercase v, capital D), not &VDash;, &Vdash;, or &vdash;.

How is U+22A8 different from U+22A2 or U+22A9?

U+22A8 is TRUE / models (&vDash;). U+22A2 is LEFT TACK / proves (&vdash;). U+22A9 is FORCES / double vertical bar right turnstile (&Vdash;). Entity names differ only by letter case.

Is U+22A8 the same as logical top (down tack)?

No. U+22A8 (⊨, TRUE, &vDash;) is the models symbol. U+22A4 (⊤, DOWN TACK) is a different character sometimes used as logical top.

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

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

Did you know?

True is Unicode U+22A8 (decimal 8872) — glyph ⊨ (TRUE) in Mathematical Operators. Also called the models symbol or double right tack. HTML5 names it &vDash; (case-sensitive: lowercase v, capital D). Prefer it for M ⊨ φ. Do not confuse it with left tack (&vdash;, U+22A2), forces (&Vdash;, U+22A9), or down tack (U+22A4).

Next: Ts Digraph

Learn the HTML entity for Ts Digraph — 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 | Triple Vertical Bar Right Turnstile HTML Entity | Ts Digraph