Check your browser!

Please make sure that your browser correctly displays the symbols used in this text. 

 

symbol name the symbol
the ampersand
&
the tilde
~
the wedge v
the horseshoe (looks like a sideways horseshoe)

 

the triple-bar (three parallel horizontal lines)

the existential quantifier (looks like a backwards "E")