Symbols:Symbolic Logic/NOR

Logical NOR

 * $\downarrow$

Logical Nor.

A binary operation on two propositions.

$P \downarrow Q$ means neither $P$ nor $Q$.

The symbol is named the Quine arrow, after.