Apply suggestions from code review

Co-authored-by: timsong-cpp <rs2740@gmail.com>

Author: jensmaurer

source/ranges.tex

@@ -7745,15 +7745,15 @@
 
 \pnum
 \tcode{\exposid{iterator}::iterator_category} is present
-if and only if \tcode{@\exposconcept{all-forward}@<Const, Views...>} is modeled.
+if and only if \tcode{\exposconcept{all-forward}<Const, Views...>} is modeled.
 
 \pnum
 If the invocation of any non-const member function of \exposid{iterator}
 exits via an exception,
 the iterator acquires a singular value.
 
 \begin{itemdecl}
-constexpr explicit iterator(@\exposid{tuple-or-pair}@<iterator_t<@\exposid{maybe-const}@<Const, Views>>...> current);
+constexpr explicit @\exposid{iterator}@(@\exposid{tuple-or-pair}@<iterator_t<@\exposid{maybe-const}@<Const, Views>>...> current);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -7812,7 +7812,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator operator++(int) requires @\exposconcept{all-forward}@<Const, Views...>;
+constexpr @\exposid{iterator}@ operator++(int) requires @\exposconcept{all-forward}@<Const, Views...>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -7827,7 +7827,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator& operator--() requires @\exposconcept{all-bidirectional}@<Const, Views...>;
+constexpr @\exposid{iterator}@& operator--() requires @\exposconcept{all-bidirectional}@<Const, Views...>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -7841,7 +7841,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator operator--(int) requires @\exposconcept{all-bidirectional}@<Const, Views...>;
+constexpr @\exposid{iterator}@ operator--(int) requires @\exposconcept{all-bidirectional}@<Const, Views...>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -7871,7 +7871,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator& operator-=(difference_type x)
+constexpr @\exposid{iterator}@& operator-=(difference_type x)
   requires @\exposconcept{all-random-access}@<Const, Views...>;
 \end{itemdecl}
 
@@ -7961,7 +7961,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-friend constexpr bool operator>=(const iterator& x, const iterator& y)
+friend constexpr bool operator>=(const @\exposid{iterator}@& x, const @\exposid{iterator}@& y)
   requires all-random-access<Const, Views...>;
 \end{itemdecl}
 
@@ -8204,7 +8204,7 @@
 to the $M^\textrm{th}$ elements of all views.
 
 \pnum
-\indexlibraryglobal{zip_transform}{views}%
+\indexlibrarymember{zip_transform}{views}%
 The name \tcode{views::zip_transform} denotes
 a customization point object\iref{customization.point.object}.
 Let \tcode{F} be a subexpression, and
@@ -8447,7 +8447,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \exposid{parent_} with i.\exposid{parent_} and
+Initializes \exposid{parent_} with \tcode{i.\exposid{parent_}} and
 \exposid{inner_} with \tcode{std::move(i.inner_)}.
 \end{itemdescr}
 
@@ -8858,7 +8858,7 @@
     using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                                        // \expos
     array<iterator_t<@\exposid{Base}@>, N> @\exposid{current_}@ = array<iterator_t<@\exposid{Base}@>, N>();        // \expos
     constexpr @\exposid{iterator}@(iterator_t<@\exposid{Base}@> first, sentinel_t<@\exposid{Base}@> last);         // \expos
-    constexpr iterator(@\exposid{as-sentinel}@, iterator_t<@\exposid{Base}@> first, iterator_t<@\exposid{Base}@> last);
+    constexpr @\exposid{iterator}@(@\exposid{as-sentinel}@, iterator_t<@\exposid{Base}@> first, iterator_t<@\exposid{Base}@> last);
                                                                                 // \expos
   public:
     using iterator_category = input_iterator_tag;
@@ -8992,7 +8992,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\exposid{current_}.back() is incrementable.
+\tcode{\exposid{current_}.back()} is incrementable.
 
 \pnum
 \ensures
@@ -9246,8 +9246,8 @@
 \begin{itemdescr}
 \pnum
 \expects
-None of the iterators in l.\exposid{current_} is equal to
-an iterator in r.\exposid{current_}.
+None of the iterators in \tcode{l.\exposid{current_}} is equal to
+an iterator in \tcode{r.\exposid{current_}}.
 
 \pnum
 \effects
@@ -9473,7 +9473,7 @@
 \exposid{inner_} with \tcode{std::move(base)}.
 \end{itemdescr}
 
-\rSec3[range.adjacent.transform.iterator]{Class template \tcode{adjacent_transform_view::@\exposid{iterator}@}}
+\rSec3[range.adjacent.transform.iterator]{Class template \tcode{adjacent_transform_view::\exposid{iterator}}}
 
 \begin{codeblock}
 namespace std::ranges {
@@ -9541,7 +9541,7 @@
 \end{codeblock}
 
 \pnum
-The member \grammarterm{typedef-name} \tcode{iterator::iterator_category}
+The member \grammarterm{typedef-name} \tcode{\exposid{iterator}::iterator_category}
 is defined as follows:
 \begin{itemize}
 \item
@@ -9591,8 +9591,8 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \exposid{parent_} with i.\exposid{parent_} and
-\exposid{inner_} with std::move(i.\exposid{inner_}).
+Initializes \exposid{parent_} with \tcode{i.\exposid{parent_}} and
+\exposid{inner_} with \tcode{std::move(i.\exposid{inner_})}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -9619,7 +9619,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator& operator++();
+constexpr @\exposid{iterator}@& operator++();
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -9633,24 +9633,22 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator operator++(int);
+constexpr @\exposid{iterator}@ operator++(int);
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \effects
 Equivalent to:
 \begin{codeblock}
-Equivalent to:
-\begin{codeblock}
 auto tmp = *this;
 ++*this;
 return tmp;
 \end{codeblock}
 \end{itemdescr}
 
 \begin{itemdecl}
-constexpr iterator& operator--() requires @\libconcept{bidirectional_range}@<@\exposid{Base}@>;
+constexpr @\exposid{iterator}@& operator--() requires @\libconcept{bidirectional_range}@<@\exposid{Base}@>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -9701,7 +9699,7 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-inner_ -= x;
+@\exposid{inner_}@ -= x;
 return *this;
 \end{codeblock}
 \end{itemdescr}
@@ -9717,7 +9715,7 @@
 Equivalent to:
 \begin{codeblock}
 return apply([&](const auto&... iters) -> decltype(auto) {
-  return invoke(*@\exposid{parent_}@->fun_, iters[n]...);
+  return invoke(*@\exposid{parent_}@->@\exposid{fun_}@, iters[n]...);
 }, @\exposid{inner_}@.@\exposid{current_}@);
 \end{codeblock}
 \end{itemdescr}
@@ -9738,11 +9736,11 @@
 
 \begin{itemdescr}
 \pnum
-Let $op$ be the operator.
+Let \placeholder{op} be the operator.
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.\exposid{inner_} $op$ y.\exposid{inner_};}
+Equivalent to: \tcode{return x.\exposid{inner_} \placeholder{op} y.\exposid{inner_};}
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -9759,7 +9757,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-friend constexpr iterator operator-(const @\exposid{iterator}@& i, difference_type n)
+friend constexpr @\exposid{iterator}@ operator-(const @\exposid{iterator}@& i, difference_type n)
   requires @\libconcept{random_access_range}@<@\exposid{Base}@>;
 \end{itemdecl}
 

source/utilities.tex

@@ -1761,9 +1761,9 @@
 \item
 \tcode{sizeof...(Types)} is 2,
 \item
-\tcode{is_constructible_v<$\tcode{T}_0$, decltype(get<0>(FWD(u)))>} is \tcode{true}, and
+\tcode{is_constructible_v<$\tcode{T}_0$, decltype(get<0>(\exposid{FWD}(u)))>} is \tcode{true}, and
 \item
-\tcode{is_constructible_v<$\tcode{T}_1$, decltype(get<1>(FWD(u)))>} is \tcode{true}.
+\tcode{is_constructible_v<$\tcode{T}_1$, decltype(get<1>(\exposid{FWD}(u)))>} is \tcode{true}.
 \end{itemize}
 
 \pnum