Logic symbols and signs

Logic symbols

Symbol	Symbol Name	Meaning / definition	Example
⋅	and	and	x ⋅ y
^	caret / circumflex	and	x ^ y
&	ampersand	and	x & y
+	plus	or	x + y
∨	reversed caret	or	x ∨ y
\|	vertical line	or	x \| y
x'	single quote	not - negation	x'
x	bar	not - negation	x
¬	not	not - negation	¬ x
!	exclamation mark	not - negation	! x
⊕	circled plus / oplus	exclusive or - xor	x ⊕ y
~	tilde	negation	~ x
⇒	implies
⇔	equivalent	if and only if (iff)
↔	equivalent	if and only if (iff)
∀	for all
∃	there exists
∄	there does not exists
∴	therefore
∵	because / since