Thanks to Phil Clayton for pointing out that the the Unicode code point
2A04 N-ARY UNION OPERATOR WITH PLUS that was being used
for the Z bag union operator is really intended for a distributed union
operation.  The code point 228E MULTISET UNION is a more logical
choice for binary bag union. I have updated the web page that
describes the mapping here: 

and also updated the ProofPower and pputf8 source in the github
source repos: 

The correction will appear in the next release.



Proofpower mailing list

Reply via email to