RE: Example of Z Notation in WSDL 2.0 Component Model Spec

so implies (⇒) works in most browsers meaning my screen captures
weren't very helpful, wonders if this set of characters will work / prove anything:

? 	?	  	?	  ≪  	≫	  ¬  	∧	  ∨  ⇒  ⇔  ∀  	∃	  ≠  	θ	  μ  ∈  	?	  ?  ⊆  ⊂ 

 ?  ×  ∪  ∩  ¥  ?  ?  ?  ?  	?	  ?  ?  	‾	  ?  +  *  	λ	  →  ?  ? 

 	?	  ?  ?  	?	  	?	  	?	  	?	  ?  ?  ?  ? 

Paul