HTML Entity for Models (⊧)

Beginner

5 min read

Updated: Sep 2026

1 example

Unicode U+22A7

HTML Entity for Models symbol (U+22A7) tutorial illustration

Definition

What Is the Models Entity?

Models (⊧) is the mathematical models / satisfaction symbol at Unicode U+22A7. HTML5 provides &models;. In logic, M ⊧ φ means structure M satisfies formula φ.

Remember

Character     ⊧
Unicode       U+22A7
Named entity  &models;
Hex entity    &#x22A7;
Decimal       &#8871;
CSS escape    \22A7

Named, hex, decimal, CSS, and a typed character all produce the same glyph: ⊧.

Reference

Quick Reference

One table for every form you will actually use.

Form	Code	Where it goes
Named entity	`&models;`	HTML markup (preferred)
Direct character	`⊧`	UTF-8 HTML text
Hex entity	`⊧`	HTML markup
Decimal entity	`⊧`	HTML markup
CSS escape	`\22A7`	Stylesheet `content`

When to Use Which

Situation	Use
Structure satisfies a formula	`&models;`
Need an entity in HTML source	`&models;`, `⊧`, or `⊧`
Generated text via `::before` / `::after`	`content: "\22A7"`
Forces notation (⊩)	See Forces — `&Vdash;`
Proves / right tack (⊢)	Use `&vdash;` (U+22A2) — not this page

See it

Live Preview

Models in a short satisfaction formula and beside related turnstiles.

Example M ⊧ φ

Large glyph ⊧

Named entity &models; → ⊧

vs ⊢ / ⊩ ⊧ | ⊢ | ⊩

With entities Named: ⊧ | Hex: ⊧ | Decimal: ⊧

Code

Complete HTML Example

One page that shows Models 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>Models (⊧)</title>
  <style>
    #point::after {
      content: "\22A7";
    }
  </style>
</head>
<body>
  <p>Using Named Entity: &models;</p>
  <p>Using Hex Code: &#x22A7;</p>
  <p>Using HTML Code: &#8871;</p>
  <p id="point">Using CSS Entity: </p>
  <p>Model theory: M &models; &#x03C6;</p>
</body>
</html>

Try It Yourself

How It Works

1. Named: &models; is the clearest HTML form and renders ⊧.

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

3. Decimal: same code point as 8871 → ⊧. Same result as hex and named.

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

Pitfalls & Tips

Common mistakes when working with Models.

Prefer

Use `&models;`

The named form is clearer than numeric references and is defined in HTML5.

vs ⊩

Not Forces

&Vdash; is ⊩ (forces). &models; is ⊧ (satisfies). Related, not interchangeable.

Meaning

Logic, not 3D / MVC

This entity is a turnstile for model theory — not about 3D models or application data models.

CSS vs HTML

Do not mix escapes

\22A7 belongs in CSS. &models; / ⊧ / ⊧ belong in HTML.

Encoding

Declare UTF-8

If you type ⊧ directly, keep <meta charset="UTF-8"> so the file is not misread.

Semicolon

End references

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

Compatibility

Browser Support

Models (U+22A7) and its entity forms (&models;, ⊧, ⊧, CSS \\22A7) are supported in all mainstream browsers with a Unicode-capable font.

✓ Universal support

Models (&models;)

Encode with named, hex, decimal, or CSS escape — or type ⊧ 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 IE 9+

Yes*

U+22A7 / &models; Full support

Bottom line: Prefer &models; in logic HTML. Use \\22A7 only inside CSS content.

Remember

Key Takeaways

Unicode: Models is U+22A7 (decimal 8871).
HTML: prefer &models;.
CSS: use \22A7 inside content for generated text.
Lookalikes: not ⊩ (&Vdash;) and not ⊢ (&vdash;).

One line: U+22A7 → prefer &models; (also ⊧ / CSS \22A7).

Frequently Asked Questions

How do I display the Models symbol in HTML using entities?

Use &models; (named), ⊧ (hex), ⊧ (decimal), or the CSS escape \22A7 in the content property. All render ⊧. Prefer &models; in logic HTML.

What is the Unicode value for Models?

U+22A7 (MODELS). Hex 22A7, decimal 8871. It belongs to the Mathematical Operators block.

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

Yes. HTML5 defines &models; for ⊧.

When should I use this HTML entity?

Use it in model theory and formal logic to write that a structure satisfies a formula — for example M ⊧ φ.

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

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

Is ⊧ the same as ⊩ or ⊢?

No. Models is &models; (⊧, U+22A7). Forces is &Vdash; (⊩, U+22A9). Right tack / proves is &vdash; (⊢, U+22A2). Related turnstiles, different meanings.

Did you know?

Models is Unicode U+22A7 (decimal 8871) — MODELS in Mathematical Operators. HTML5 provides &models;. In logic it means a structure satisfies a formula (e.g. M ⊧ φ). It is not the Forces symbol &Vdash; (⊩) and not about 3D or MVC “models.”

Next: Monogram Yang

Continue with the Monogram Yang (Yijing) entity tutorial.

Monogram Yang 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 | Minus Tilde HTML Entity | Monogram Yang