Logical Symbols

Logical Symbols

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