[Cfp-interest 3166] Re: Suggested DRAFT Modications to Annex F + G of C26 document

[Damian McGuckin]

In the current draft of F.10.8.3, list item -2-, it says

   nextafter(x,y) raises the "underflow" and "inexact" floating-point
   exceptions for the function value subnormal or zero and x = y.

There is possible confusion with the grouping of the English words and/or, or
treating the same words as mathematical logical operators which have the same
precedence (and hence reads left to right).

The PDF posted a few days ago used similar English (although the two items 
in the dashed list now have totally consistent sentence structure).

To more precisely imply that the exceptions are raised if

*   EITHER the function returns subnormal and x != y

*   OR the function returns zero and x != y.

it has been suggested that the following is better from both an English 
and mathematical perspective.

F.10.8.3

-2- nextafter(x, y) raises the "underflow" and "inexact" floating-point
     exceptions when the function value returned is subnormal (or zero)
     and x != y.

Does the the use of parentheses to encapsulate normative text conflict?

Food for thoght.