⊮

Math Operator 171

Unicode
U+22AE
Category
Math
HTML Entity
⊮
CSS
\22AE
The "Does Not Force" symbol (⊮) is a mathematical operator used in advanced logic and set theory. It acts as the direct opposite of the "forces" symbol (⊩), meaning that a certain set of rules or axioms doesn't actually guarantee a mathematical statement is true. You'll mostly spot this character in academic papers, formal proofs, or deep in the weeds of computer science theory.

How to Type

Windows
Type 22AE then press Alt+X in Microsoft Word, or Win + . then search
macOS
Control+Command+Space then search "does not force"
Linux
Ctrl+Shift+U then 22AE and press Enter
HTML
⊮ or ⊮

In Programming

In technical typesetting systems like LaTeX, this symbol is generated using '\nVdash' (from the amssymb package) to represent unforced logical relations in formal math proofs and theorem-proving software.

Read full meaning article

Tags

Kripke semantics LaTeX math operator axiomatic system computer science theory does not force forcing negation formal proof logic mathematical logic mathematics negated forces negation not forces set theory turnstile unicode U+22AE

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