Re: Motion P1788/M0034.01:Notation-- discussion period begins
(I'm back after a brief absence due to more mail delivery problems...)
Minor point on Nate's comments to Ulrich's notation paper:
(notation.pdf, which I renamed NH-notation.pdf
to distinguish it from UK-notation.pdf)
For at least one x \in R>=0 we DO have Opp(x) \in R>=0, namely x=0.
(Same exception for the claim about IR.)
Michel.
P.S. I also had an objection to Nate's Level 1 use of MAXREAL (which one,
as Level 2 may well support several formats?) -- but that discussion
has mercifully been put to rest...
---Sent: 2012-04-23 01:10:29 UTC