[ProofPower] Distributed concatenation symbol

Dear All, Roger Jones and I are doing some more work on Unicode and UTF-8 support in ProofPower. We are currently considering two changes to the Unicode mapping as currently defined at: http://www.lemma-one.com/ProofPower/unicode/pp-unicode.html

Re: [ProofPower] Distributed concatenation symbol

Dear Rob I think the changes you suggest are good from the point of view that they bring the mapping into line with the Z standard (which you may not like) and therefore other tools (which you also may not like, but is nevertheless a Good Thing IMO) All the best Anthony From: Pro