W3C home > Mailing lists > Public > www-ws-desc@w3.org > September 2004

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

From: <paul.downey@bt.com>
Date: Thu, 30 Sep 2004 15:49:53 +0100
Message-ID: <2B7789AAED12954AAD214AEAC13ACCEF2709DC09@i2km02-ukbr.domain1.systemhost.net>
To: <sanjiva@watson.ibm.com>, <ryman@ca.ibm.com>, <hugo@w3.org>
Cc: <www-ws-desc@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:32 GMT