Forces (⊩) is the Unicode character at U+22A9 in Mathematical Operators. Official name: FORCES. It is used in logic and proof notation for a forcing / turnstile-style relation.
Remember
Character ⊩
Unicode U+22A9
Named entity ⊩
Hex entity ⊩
Decimal ⊩
CSS escape \22A9
Meaning forces (logic / proof relation)
Not the same ⊮ (does not force) · T (letter) · ⊢ (right tack)
Prefer ⊩ in HTML for readable markup. You can also use ⊩, ⊩, or type ⊩ in a UTF-8 document.
Built with Named: ⊩
Built with Hex: ⊩
Built with Decimal: ⊩
Built with CSS: ⊩
Typed: ⊩
Sequent: Γ ⊩ φ
Compare: ⊩ vs ⊮
How It Works
1. Named:⊩ is the HTML5 name for U+22A9 → ⊩.
2. Hex:⊩ inserts the same code point by hexadecimal value.
3. Decimal: same code point as 8873 → ⊩. Same visual as named/hex.
4. CSS: use \22A9 in content (not an HTML entity). #point::after appends ⊩.
5. Typed: paste ⊩ in a UTF-8 document when you need the forces symbol as one character.
Pitfalls & Tips
Common mistakes when working with forces.
Name
Prefer ⊩
The named entity is clear and standard. Avoid inventing names like &forces; or ⊢ (lowercase v is a different entity).
⊮
Not does not force
Does not force (⊮, ⊮) is the negated relation. Use it only when you mean “does not force.”
Case
Capital V matters
⊩ (capital V) is U+22A9. ⊢ (lowercase v) is a different turnstile (U+22A2). Match the case exactly.
CSS vs HTML
Do not mix escapes
\22A9 belongs in CSS strings. ⊩ / ⊩ / ⊩ belong in HTML.
a11y
Add accessible text
Screen readers may not announce ⊩ clearly. Prefer nearby prose (for example “forces”) when the symbol carries meaning.
Semicolon
End references
Always finish entities with ; — write ⊩, not &Vdash.
Font
Font coverage
Most system fonts include Mathematical Operators. If ⊩ is missing, fall back to a math-capable font.
Compatibility
Browser Support
Forces (U+22A9) and its entity forms (⊩, ⊩, ⊩, CSS \\22A9) are supported in all mainstream browsers. Visible glyphs depend on Mathematical Operators font coverage.
✓ Universal support
Forces (⊩)
Encode with named, hex, decimal, CSS escape, or type the character — same code point everywhere encoding is supported.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerAll versions
Yes
U+22A9Full support
Bottom line: Prefer ⊩ in HTML. Use ⊩ / ⊩ when numeric form is required, and \\22A9 only inside CSS content.
Remember
Key Takeaways
Unicode: forces is U+22A9 (decimal 8873) — glyph ⊩.
HTML: prefer ⊩ — also ⊩ / ⊩ / type ⊩.
CSS: use \22A9 inside content for generated text.
Meaning: ⊩ = forces · ⊮ = does not force · not letter T.
Use ⊩ (named), ⊩ (hex), ⊩ (decimal), type ⊩ directly in UTF-8, or the CSS escape \22A9 in content.
U+22A9 (FORCES). Hex 22A9, decimal 8873. It belongs to the Mathematical Operators block (U+2200–U+22FF).
Yes. HTML5 defines ⊩ for U+22A9. Prefer it for readable markup.
Use it in logic, proof, or sequent-style notation when you need the forces / double-vertical turnstile relation. Use does not force (U+22AE, ⊮) for the negated form.
HTML entities (⊩, ⊩, or ⊩) go in markup. The CSS escape \22A9 goes in stylesheet strings (usually content on ::before/::after).
No. U+22A9 is forces (⊩). Does not force is U+22AE (⊮, ⊮). Letter T is U+0054.
🤔
Did you know?
Forces is Unicode U+22A9 (decimal 8873) — glyph ⊩ (FORCES) in Mathematical Operators. HTML5 named entity: ⊩. Prefer the named form when you want readable markup; use ⊩ or ⊩ when needed. In logic and proof notation it often marks a forcing or turnstile-style relation (for example Γ ⊩ φ). Do not confuse it with does not force (⊮) or ordinary letter T.
