Definition:Therefore/Also known as

Therefore: Also known as
The symbol $\vdash$ for therefore is sometimes called the turnstile symbol (or gatepost, or gate post), and is often (misleadingly) called the assertion sign.

This is sometimes hyphenated: assertion-sign.

Some older literature uses the symbol $\therefore$ but this is falling out of use.

In contrast to $\vdash$, which is a formal symbol used in proof writing, the $\therefore$ symbol is generally used as shorthand for therefore, and as such is traditionally classified as a punctuation mark.

Also see

 * Definition:Because
 * Definition:Logical Implication
 * Definition:Logical Equivalence
 * Definition:Conditional
 * Definition:Biconditional