Re: Example of Z Notation in WSDL 2.0 Component Model Spec from Sanjiva Weerawarana on 2004-09-30 (www-ws-desc@w3.org from September 2004)

From: Sanjiva Weerawarana <sanjiva@watson.ibm.com>
Date: Thu, 30 Sep 2004 20:35:16 +0600
To: <paul.downey@bt.com>, <ryman@ca.ibm.com>, <hugo@w3.org>
Cc: <www-ws-desc@w3.org>
Message-ID: <066a01c4a6fa$b611a120$8b7b3009@LANKABOOK>

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:35:19 UTC