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

Introduce a new macro \countedrange.

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} \countedrange{i}{n} is empty if \tcode{n == 0};
+otherwise, \countedrange{i}{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 \countedrange{i}{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 \countedrange{++i}{-{-}n} is valid.
 
 \pnum
 The result of the application of library functions

source/macros.tex

@@ -379,6 +379,7 @@
 \newcommand{\brange}[2]{\Range{(}{]}{#1}{#2}}
 \newcommand{\orange}[2]{\Range{(}{)}{#1}{#2}}
 \newcommand{\range}[2]{\Range{[}{)}{#1}{#2}}
+\newcommand{\countedrange}[2]{$\tcode{#1} + \range{0}{#2}$}
 
 %% Change descriptions
 \newcommand{\diffhead}[1]{\textbf{#1:}\space}

source/ranges.tex

@@ -5719,8 +5719,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} \countedrange{i}{n}
 for some iterator \tcode{i} and non-negative integer \tcode{n}.
 
 \pnum