Symbols:Symbolic Logic/Deprecated Symbols/Minus

Logical Not

$-$

Not.

$-Q$ means $Q$ is not true.

An alternative to $\neg$, which is what is usually used by logicians.

The $\LaTeX$ code for $-Q$ is -Q .

Also see

See:

Symbols:Subtraction
Symbols:Negative Quantity
Symbols:Set Difference (Variant)

for other uses of this symbol.