Symbols:Symbolic Logic/Deprecated Symbols/Sheffer Stroke

Logical NAND

 * $\mid$

Logical NAND.

A binary operation on two propositions.

$P \mid Q$ means not both $P$ and $Q$ together

This is known as the Sheffer stroke.