Downwards arrow

In logic ↓ stands for NOR, “neither… nor”, which is true only when both inputs are false. W. V. O. Quine used the arrow for it in 1940, and it is often called the Peirce arrow after Charles Sanders Peirce, who showed in unpublished manuscripts that NOR alone can build every other logical operation.