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 xy
| 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 xy
~ tilde negation ~ x
implies    
equivalent if and only if  
for all    
there exists    
there does not exists    
therefore    
because / since