Re: P1788.1/M001.01
> On Sep 22, 2015, at 1:55 PM, Michel Hack <mhack@xxxxxxx> wrote:
>
> On Tue, 22 Sep 2015 19:49:40 +0200
>> ... the discussion period now begins and will end October 13.
>
> Ok, so we DO get a chance to discuss! Two people have voted already, and
> I was tempted too, but I might as well bring up two editorial suggestions.
>
> (1) In table 4.3, show the value of inf(Empty) as +oo, not simply oo.
> The sign of infinity is shown explicitly in other cases.
Good point, done.
>
> (2) In tables 4.4 and 4.6, show the values as True or False, not 1 or 0.
> This would match the definition in 4.1, Level 1 entities.
Changed to as John suggested in his email.
Ned