⊭

Math Operator 170

Unicode
U+22AD
Category
Math
HTML Entity
⊭
CSS
\22AD
The ⊭ (Not True) symbol, also known as the negated double turnstile, is primarily used in formal logic and mathematics. It indicates that a given mathematical structure is "not a model of" a formula, or that a set of premises "does not entail" a specific conclusion. While it rarely appears in everyday text, it remains a crucial notation for computer scientists and logicians working with model theory.

How to Type

Windows
Alt + 8877 or type 22AD followed by Alt+X in Microsoft Word
macOS
Control + Command + Space, then search "not true"
Linux
Ctrl + Shift + U, then type 22ad and press Space
HTML
⊭ or ⊭

In Programming

In formal verification and computer science literature, ⊭ is used to denote that a system state does not satisfy a logical formula. Programmers and mathematicians often render it in LaTeX using the \nvDash command.

Read full meaning article

Tags

LaTeX negation symbol does not entail formal logic logic logical non-satisfaction mathematics model theory negated double turnstile negation non-entailment not a model of not true semantic invalidity unicode U+22AD unsatisfied unsatisfied model

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