Symbols:Symbolic Logic/NOR
Jump to navigation
Jump to search
Logical NOR
- $\downarrow$
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 .