HTML Entity for Forces (⊩)
What You'll Learn
How to display the Forces symbol (⊩) in HTML using named, hexadecimal, decimal, and CSS escape methods. This character is U+22A9 (FORCES) in the Mathematical Operators block (U+2200–U+22FF)—used in logic and proof notation (often called Vdash), for example “Γ ⊩ φ” (Gamma forces phi).
Render it with the named entity ⊩, ⊩, ⊩, or CSS escape \22A9. Do not confuse with does not force (⊮, ⊮) or ⊢ (turnstile, U+22A2).
⚡ Quick Reference — Forces
U+22A9Mathematical Operators
⊩Hexadecimal reference
⊩Decimal reference
⊩Forces / Vdash (most readable)
Name Value
──────────── ──────────
Unicode U+22A9
Hex code ⊩
HTML code ⊩
Named entity ⊩
CSS code \22A9
Meaning Forces (logic / proof notation)
Related U+22AE = Does not force (⊮, ⊮)Complete HTML Example
This example demonstrates the Forces symbol (⊩) using hexadecimal code, decimal HTML code, the named entity, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\22A9";
}
</style>
</head>
<body>
<p>Forces using Hexadecimal: ⊩</p>
<p>Forces using HTML Code: ⊩</p>
<p>Forces using HTML Entity: ⊩</p>
<p id="point">Forces using CSS Entity: </p>
</body>
</html>🌐 Browser Support
U+22A9 is supported in modern browsers; use a font with Mathematical Operators coverage for consistent glyphs:
👀 Live Preview
See the Forces symbol (⊩) in logic and proof notation:
🧠 How It Works
Named Entity
⊩ is the HTML named entity for Forces (Vdash)—often preferred in readable logic and proof markup.
Hexadecimal Code
⊩ uses the Unicode hexadecimal value 22A9. The x prefix indicates hexadecimal format.
Decimal HTML Code
⊩ uses the decimal Unicode value 8873 to display the same character.
CSS Entity
\22A9 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+22A9 in Mathematical Operators. For negation, use ⊮ (⊮).
Use Cases
The Forces symbol (⊩) is commonly used in:
Formal logic, proof systems, and sequents (e.g. Γ ⊩ φ).
Forcing notation where M ⊩ φ means M forces formula φ.
Logic, philosophy, computer science, and type theory publications.
Documentation on type systems, provability, and semantics.
Online courses and tutorials for logic, math, or formal methods.
HTML entity lists, Unicode charts, and character references.
💡 Best Practices
Do
- Use
⊩for readable HTML source in logic notation - Pair with
⊮(⊮) when teaching forcing pairs - Use fonts that cover Mathematical Operators (Cambria Math, etc.)
- Add
aria-label(e.g. “forces”) for accessibility - Serve pages with UTF-8 (
<meta charset="utf-8">)
Don’t
- Confuse
⊩(forces) with⊮(does not force) - Confuse
⊩with⊢(turnstile, U+22A2) - Put CSS escape
\22A9in 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
\22A9Unicode U+22A9 — FORCES (Vdash)
⊩ is the standard named entity
Negation: Does Not Force (⊮, ⊮)
❓ Frequently Asked Questions
⊩ (named), ⊩ (hex), ⊩ (decimal), or \22A9 in CSS content. All produce ⊩.U+22A9 (FORCES). Mathematical Operators block (U+2200–U+22FF). Hex 22A9, decimal 8873. Often called Vdash in logic notation.U+22A9, ⊩) means forces. ⊮ (U+22AE, ⊮) means does not force. They are negations of each other.⊩, ⊩, or ⊩) go directly in markup. The CSS escape \22A9 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