diff --git a/spec.html b/spec.html index 2a5d9354d7d..2e20f547b6d 100644 --- a/spec.html +++ b/spec.html @@ -1024,7 +1024,7 @@
An interval from lower bound _a_ to upper bound _b_ is a possibly-infinite, possibly-empty set of numeric values of the same numeric type. A numeric value _x_ is included in the interval if it satisfies the criteria _a_ < _x_ and _x_ < _b_. If the lower bound is described as inclusive, _a_ ≤ _x_ is used instead of _a_ < _x_. If the upper bound is described as inclusive, _x_ ≤ _b_ is used instead of _x_ < _b_. An inclusive interval is an interval where both bounds are inclusive. *NaN* is never included in an interval. An interval with an exclusive bound of *+0*𝔽 or *-0*𝔽 includes neither *+0*𝔽 nor *-0*𝔽. An interval with an inclusive bound of *+0*𝔽 or *-0*𝔽 includes both *+0*𝔽 and *-0*𝔽.
+An interval from lower bound _a_ to upper bound _b_ is a possibly-infinite, possibly-empty set of numeric values of the same numeric type. A numeric value _x_ is included in the interval if it satisfies the criteria _a_ < _x_ and _x_ < _b_. If the lower bound is described as inclusive, _a_ ≤ _x_ is used instead of _a_ < _x_. If the upper bound is described as inclusive, _x_ ≤ _b_ is used instead of _x_ < _b_. An inclusive interval is an interval where both bounds are inclusive. For the purpose of defining intervals, *-0*𝔽 < *+0*𝔽. *NaN* is never included in an interval.