⊦

Math Operator 163

Unicode
U+22A6
Category
Math
HTML Entity
⊦
CSS
\22A6
Mathematicians and logicians use the ⊦ (Assertion) symbol primarily in formal logic and proof theory. Originating from Gottlob Frege's early logical notations, it visually indicates that a specific proposition is asserted to be true. While it closely resembles the standard turnstile symbol (⊢), the assertion sign usually features a shorter horizontal stroke and serves a distinct semantic purpose in complex mathematical proofs.

How to Type

Windows
Alt+8870
macOS
Control+Command+Space then search "assertion"
Linux
Ctrl+Shift+U then 22A6
HTML
⊦

In Programming

In formal logic systems and LaTeX mathematical typesetting, the assertion symbol denotes a definitive logical judgment. It appears frequently in proof theory to clearly separate asserted facts from hypothetical statements or unproven theories.

Read full meaning article

Tags

Frege notation Frege stroke \vdash variant assertion assertion sign formal logic logic logic symbol logician symbol mathematics proof theory proposition true proves turnstile turnstile variant unicode assertion

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