Hi Alejandro, On 2024-08-08 10:07:35 +0200, Alejandro Colomar wrote: > On Thu, Aug 08, 2024 at 04:56:36AM GMT, Vincent Lefevre wrote: > > For zero, one can also say "If x is ±0" as in the IEEE 754 standard. > > The IEEE 754 standard also uses "zero" in the sense "±0" (but it > > never uses "0" in this sense when there may be an ambiguity, knowing > > that in practice, "0" has the same meaning as "+0"). In a condition, > > when it says something like "x = 0", this means that x is either +0 > > or -0 because these values compare equal to each other. > > Hmmm, I see. Thanks! I think "If x is ±0" is the clearest way to say > it. I'm not sure if that glyph is available everywhere, though. How > about "If x is 0 or -0"? Since ± is in latin1, I suppose that the glyph is available everywhere. However, some English speakers might still use ASCII-based locales. I'm going to send a new patch with "If x is +0 or -0" (it is better to give the + sign explicitly, and this is also nicer for symmetry). -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
