HTML Entity for Models (⊧)
What You'll Learn
How to display the Models symbol (⊧) in HTML using named, hexadecimal, decimal, and CSS escape methods. This character is U+22A7 (MODELS) in the Mathematical Operators block (U+2200–U+22FF)—a turnstile-style relation used in model theory and logic to mean “satisfies” or “models,” for example “M ⊧ φ” (structure M models formula φ).
Render it with the named entity ⊧, ⊧, ⊧, or CSS escape \22A7. This is a mathematical logic symbol—not related to 3D graphics or data models. Do not confuse ⊧ with Forces (⊩, ⊩) or the right tack / proves symbol (⊢, ⊢).
⚡ Quick Reference — Models
U+22A7Mathematical Operators
⊧Hexadecimal reference
⊧Decimal reference
⊧Models / satisfaction (most readable)
Name Value
──────────── ──────────
Unicode U+22A7
Hex code ⊧
HTML code ⊧
Named entity ⊧
CSS code \22A7
Meaning Models / satisfies (model theory)
Related U+22A2 = right tack (⊢, ⊢)
U+22A9 = forces (⊩, ⊩)Complete HTML Example
This example demonstrates the Models symbol (⊧) using hexadecimal code, decimal HTML code, the named entity, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\22A7";
}
</style>
</head>
<body>
<p>Models using Hexadecimal: ⊧</p>
<p>Models using HTML Code: ⊧</p>
<p>Models using Named Entity: ⊧</p>
<p id="point">Models using CSS Entity: </p>
</body>
</html>🌐 Browser Support
U+22A7 is supported in modern browsers; use a font with Mathematical Operators coverage for consistent glyphs:
👀 Live Preview
See the Models symbol (⊧) in model theory and logic notation:
🧠 How It Works
Named Entity
⊧ is the HTML named entity for Models—often preferred in readable logic and model-theory markup.
Hexadecimal Code
⊧ uses the Unicode hexadecimal value 22A7. The x prefix indicates hexadecimal format.
Decimal HTML Code
⊧ uses the decimal Unicode value 8871 to display the same character.
CSS Entity
\22A7 is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.
Same visual result
All four methods produce: ⊧. Unicode U+22A7 in Mathematical Operators. For forcing notation, see Forces (⊩, ⊩).
Use Cases
The Models symbol (⊧) is commonly used in:
Expressing that a structure satisfies a formula (M ⊧ φ).
Semantic consequence and satisfaction in first-order logic.
Logic, philosophy, and computer science textbooks and papers.
Notes on semantics, type systems, and formal verification.
Online courses and tutorials on logic and discrete mathematics.
HTML entity lists, Unicode charts, and character references.
💡 Best Practices
Do
- Use
⊧for readable HTML source in logic notation - Distinguish ⊧ (models) from ⊩ (forces) and ⊢ (proves)
- Use fonts that cover Mathematical Operators (Cambria Math, etc.)
- Add
aria-label(e.g. “models”) for accessibility - Serve pages with UTF-8 (
<meta charset="utf-8">)
Don’t
- Confuse this logic symbol with 3D models or MVC data models
- Confuse
⊧with⊩(forces, U+22A9) - Put CSS escape
\22A7in HTML text nodes - Mix entity styles randomly in one file
- Rely on the symbol alone without accessible description
Key Takeaways
Three HTML references plus CSS all render ⊧
⊧ ⊧ ⊧For CSS stylesheets, use the escape in the content property
\22A7Unicode U+22A7 — MODELS (satisfaction)
⊧ is the standard named entity
Related: Forces (⊩, ⊩)
❓ Frequently Asked Questions
⊧ (named), ⊧ (hex), ⊧ (decimal), or \22A7 in CSS content. All produce ⊧.U+22A7 (MODELS). Mathematical Operators block (U+2200–U+22FF). Hex 22A7, decimal 8871. Denotes satisfaction or “models” in logic.U+22A7, ⊧) means models or satisfies. ⊩ (U+22A9, ⊩) means forces. They are related turnstile symbols used in different logical contexts.⊧, ⊧, or ⊧) go directly in markup. The CSS escape \22A7 is used in stylesheets, typically in the content property of pseudo-elements. Same visual result, different layers of the stack.Explore More HTML Entities!
Discover 1500+ HTML character references — logic relations, operators, and more.
About the author
8 people found this page helpful