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

bah, somewhere along the line that string went bad ..
BTW in APL that'll solve the Königsberg bridge problem :)

Paul

-----Original Message-----
From: www-ws-desc-request@w3.org [mailto:www-ws-desc-request@w3.org]On
Behalf Of Sanjiva Weerawarana
Sent: 30 September 2004 15:35
To: Downey,PS,Paul,XSJ67A C; ryman@ca.ibm.com; hugo@w3.org
Cc: www-ws-desc@w3.org
Subject: Re: Example of Z Notation in WSDL 2.0 Component Model Spec


Wait, there's a type error in that string! The 4th symbol on the 2nd row
is definitely type incorrect!

Sanjiva.

----- Original Message ----- 
From: paul.downey@bt.com
To: ryman@ca.ibm.com ; hugo@w3.org
Cc: www-ws-desc@w3.org
Sent: Thursday, September 30, 2004 8:22 PM
Subject: 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

Received on Thursday, 30 September 2004 14:49:31 UTC