Logic Symbols

 

Logic math symbols table

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
∀	for all
∃	there exists
∄	there does not exists
∴	therefore
∵	because / since

 

---

See also

• Math symbols
• Set symbols
• Statistical symbols
• Electrical symbols