[iterator.concept.readable] Add missing \expos for indirectly-readable-impl

Also adjust horizontal whitespace in related comments.

Author: hewillk

source/iterators.tex

@@ -1287,7 +1287,7 @@
 
 \begin{codeblock}
 template<class In>
-  concept @\defexposconcept{indirectly-readable-impl}@ =
+  concept @\defexposconcept{indirectly-readable-impl}@ = @\itcorr[-1]@                   // \expos
     requires(const In in) {
       typename iter_value_t<In>;
       typename iter_reference_t<In>;
@@ -1320,12 +1320,12 @@
 template<class Out, class T>
   concept @\deflibconcept{indirectly_writable}@ =
     requires(Out&& o, T&& t) {
-      *o = std::forward<T>(t);  // not required to be equality-preserving
-      *std::forward<Out>(o) = std::forward<T>(t);   // not required to be equality-preserving
+      *o = std::forward<T>(t);                          // not required to be equality-preserving
+      *std::forward<Out>(o) = std::forward<T>(t);       // not required to be equality-preserving
       const_cast<const iter_reference_t<Out>&&>(*o) =
-        std::forward<T>(t);     // not required to be equality-preserving
+        std::forward<T>(t);                             // not required to be equality-preserving
       const_cast<const iter_reference_t<Out>&&>(*std::forward<Out>(o)) =
-        std::forward<T>(t);     // not required to be equality-preserving
+        std::forward<T>(t);                             // not required to be equality-preserving
     };
 \end{codeblock}
 
@@ -1372,19 +1372,19 @@
 
 \begin{codeblock}
 template<class T>
-  constexpr bool @\exposid{is-integer-like}@ = @\seebelow@; @\itcorr[-2]@                  // \expos
+  constexpr bool @\exposid{is-integer-like}@ = @\seebelow@; @\itcorr[-2]@          // \expos
 
 template<class T>
-  constexpr bool @\exposid{is-signed-integer-like}@ = @\seebelow@; @\itcorr[-2]@           // \expos
+  constexpr bool @\exposid{is-signed-integer-like}@ = @\seebelow@; @\itcorr[-2]@   // \expos
 
 template<class I>
   concept @\deflibconcept{weakly_incrementable}@ =
     @\libconcept{movable}@<I> &&
     requires(I i) {
       typename iter_difference_t<I>;
       requires @\exposid{is-signed-integer-like}@<iter_difference_t<I>>;
-      { ++i } -> @\libconcept{same_as}@<I&>;   // not required to be equality-preserving
-      i++;                      // not required to be equality-preserving
+      { ++i } -> @\libconcept{same_as}@<I&>;                           // not required to be equality-preserving
+      i++;                                              // not required to be equality-preserving
     };
 \end{codeblock}