⊩

Math Operator 166

Unicode
U+22A9
Category
Math
HTML Entity
⊩
CSS
\22A9
The ⊩ (Forces) symbol is a mathematical operator primarily used in mathematical logic and set theory. It denotes the "forcing" relation, a powerful technique introduced by mathematician Paul Cohen to prove the independence of certain axioms, such as the continuum hypothesis. Beyond its specific set-theoretic origins, it occasionally appears in broader logic contexts to represent semantic entailment or a modeling relationship between a mathematical structure and a formula.

How to Type

Windows
Alt+8873 or Win+. then search "forces"
macOS
Control+Command+Space then search "forces"
Linux
Ctrl+Shift+U then 22A9
HTML
⊩ or ⊩

In Programming

In technical documentation and mathematical typesetting systems like LaTeX, the ⊩ symbol is generated using the \Vdash command to display the forcing relation in logical proofs.

Read full meaning article

Tags

LaTeX Vdash Paul Cohen \Vdash axiom independence continuum hypothesis double bar assertion forces forcing relation formal logic logic mathematical logic mathematics model theory semantic entailment set theory set theory forcing turnstile

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To