Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: P1788.1/M001.01



> On Sep 23, 2015, at 10:30 AM, Vincent Lefevre <vincent@xxxxxxxxxx> wrote:
> 
>>> (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.
> 
> and what about Table 4.1?
> 
> These remarks on the sign of infinity apply to the main standard too
> (for its future revision).

I think they are OK in Table 4.1. 

Ned