Template:Logical connectives sidebar

NOT	$\neg A, - A, \overline{A}, \sim A$
AND	$A \land B, A \cdot B, A B, A & B, A & & B$
NAND	$A \overline{\land} B, A ↑ B, A ∣ B, \overline{A \cdot B}$
OR	$A \lor B, A + B, A ∣ B, A ∥ B$
NOR	$A \overline{\lor} B, A ↓ B, \overline{A + B}$
XNOR	$A ⊙ B, \overline{A \overline{\lor} B}$
└ equivalent	$A \equiv B, A \Leftrightarrow B, A ⇋ B$
XOR	$A \underline{\lor} B, A \oplus B$
└ nonequivalent	$A \equiv̸ B, A \Leftrightarrow̸ B, A ↮ B$
implies	$A \Rightarrow B, A \supset B, A \to B$
nonimplication (NIMPLY)	$A \Rightarrow̸ B, A \supset̸ B, A ↛ B$
converse	$A \Leftarrow B, A \subset B, A \leftarrow B$
converse nonimplication	$A \Leftarrow̸ B, A \subset̸ B, A ↚ B$

Usage