[iterator.requirements.general,range.counted] Rework notation for counted ranges.

Author: jensmaurer

source/iterators.tex

@@ -620,15 +620,15 @@
 \range{i}{s} denotes a valid range.
 
 \pnum
-A \defnadj{counted}{range} \range{i}{n} is empty if \tcode{n == 0};
-otherwise, \range{i}{n} refers to
+A \defnadj{counted}{range} $\tcode{i} + \range{0}{n}$ is empty if \tcode{n == 0};
+otherwise, $\tcode{i} + \range{0}{n}$ refers to
 the \tcode{n} elements in the data structure
 starting with the element pointed to by \tcode{i} and up to but not including
 the element, if any, pointed to by
 the result of \tcode{n} applications of \tcode{++i}.
-A counted range \range{i}{n} is valid if and only if \tcode{n == 0};
+A counted range $\tcode{i} + \range{0}{n}$ is valid if and only if \tcode{n == 0};
 or \tcode{n} is positive, \tcode{i} is dereferenceable,
-and \range{++i}{-{-}n} is valid.
+and $\tcode{++i} + \range{0}{-{-}n}$ is valid.
 
 \pnum
 The result of the application of library functions

source/ranges.tex

@@ -5718,8 +5718,9 @@
 \rSec2[range.counted]{Counted view}
 
 \pnum
+\indextext{range!counted}%
 A counted view presents a \libconcept{view} of the elements
-of the counted range\iref{iterator.requirements.general} \range{i}{n}
+of the counted range\iref{iterator.requirements.general} $\tcode{i} + \range{0}{n}$
 for some iterator \tcode{i} and non-negative integer \tcode{n}.
 
 \pnum