Logic symbols
Symbol
Meaning / definition
Example
·
and
and
xy
^
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
¬
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