\begin{definition}[Definition:Logical NOR]
'''NOR''' (that is, '''not or'''), is a binary connective, written symbolically as $p \downarrow q$, whose behaviour is as follows:
:$p \downarrow q$
is defined as: 
:'''neither $p$ nor $q$ is true.'''
$p \downarrow q$ is voiced:
:'''$p$ nor $q$'''
The symbol $\downarrow$ is known as the '''Quine arrow''', named after {{AuthorRef|Willard Van Orman Quine}}.
\end{definition}