Template:Logical connectives sidebar

AND	$A\land B$ , $A\cdot B$ , $AB$ , $A\&B$ , $A\&\&B$
equivalent	$A\equiv B$ , $A\Leftrightarrow B$ , $A\leftrightharpoons B$
implies	$A\Rightarrow B$ , $A\supset B$ , $A\rightarrow B$
NAND	$A{\overline {\land }}B$ , $A\uparrow B$ , $A\mid B$ , ${\overline {A\cdot B}}$
nonequivalent	$A\not \equiv B$ , $A\not \Leftrightarrow B$ , $A\nleftrightarrow B$
NOR	$A{\overline {\lor }}B$ , $A\downarrow B$ , ${\overline {A+B}}$
NOT	$\neg A$ , $-A$ , ${\overline {A}}$ , $\sim A$
OR	$A\lor B$ , $A+B$ , $A\mid B$ , $A\parallel B$
XNOR	$A\ {\text{XNOR}}\ B$
XOR	$A{\underline {\lor }}B$ , $A\oplus B$
converse	$A\Leftarrow B$ , $A\subset B$ , $A\leftarrow B$

Usage[edit]