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 

∀ 
for all 


∃ 
there exists 


∄ 
there does not exists 


∴ 
therefore 


∵ 
because / since 

