Wikipedia:WikiProject Logic/Standards for notation

Symbols

For consistency use the following preferred symbols in Logic articles:-

Truth Functional Connectives

Connective	Name	Symbol	Preferred Symbol(s)
NEGATION	NOT	¬ or ~ or $\neg$	~ or $\neg$
CONJUNCTION	AND	$\wedge$ or &	$\wedge$
INCLUSIVE DISJUNCTION	OR	$\vee$	$\lor$
MATERIAL IMPLICATION	IMPLIES	$\rightarrow$, $\Rightarrow$ or $\supset$ or $\to$	$\to$
MATERIAL EQUIVALENCE	EQV	$\leftrightarrow$ or $\leftrightarrow$	$\leftrightarrow$
NEITHER NOR	NOR	$\downarrow$	$\downarrow$
EXCLUSIVE DISJUNCTION	XOR	$\nleftrightarrow$	$\nleftrightarrow$

--Philogo 13:13, 16 August 2007 (UTC)

Quantifiers

Quantifier	Description	Symbols	Preferred Symbol
Universal	For every x	(x) or $\forall$ x	$\forall$ x
Existential	There exists an x	$\exists$x	$\exists$x

--Philogo 12:55, 17 August 2007 (UTC)