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 Willard Van Orman Quine.

The $\LaTeX$ code for $P \downarrow Q$ is P \downarrow Q .

Deprecated Symbols

Ampheck

$\curlywedge$

A binary operation on two propositions.

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

The $\LaTeX$ code for $P \curlywedge Q$ is P \curlywedge Q .