[indirectcallable.indirectinvocable] Align code, no italic correction

Author: tkoeppe

Diff for: source/iterators.tex

@@ -2441,59 +2441,59 @@
     concept @\deflibconcept{indirectly_unary_invocable}@ =
       @\libconcept{indirectly_readable}@<I> &&
       @\libconcept{copy_constructible}@<F> &&
-      @\libconcept{invocable}@<F&, @\exposid{indirect-value-t}@<I>> &&
+      @\libconcept{invocable}@<F&, @\exposidnc{indirect-value-t}@<I>> &&
       @\libconcept{invocable}@<F&, iter_reference_t<I>> &&
       @\libconcept{invocable}@<F&, iter_common_reference_t<I>> &&
       @\libconcept{common_reference_with}@<
-        invoke_result_t<F&, @\exposid{indirect-value-t}@<I>>,
+        invoke_result_t<F&, @\exposidnc{indirect-value-t}@<I>>,
         invoke_result_t<F&, iter_reference_t<I>>>;
 
   template<class F, class I>
     concept @\deflibconcept{indirectly_regular_unary_invocable}@ =
       @\libconcept{indirectly_readable}@<I> &&
       @\libconcept{copy_constructible}@<F> &&
-      @\libconcept{regular_invocable}@<F&, @\exposid{indirect-value-t}@<I>> &&
+      @\libconcept{regular_invocable}@<F&, @\exposidnc{indirect-value-t}@<I>> &&
       @\libconcept{regular_invocable}@<F&, iter_reference_t<I>> &&
       @\libconcept{regular_invocable}@<F&, iter_common_reference_t<I>> &&
       @\libconcept{common_reference_with}@<
-        invoke_result_t<F&, @\exposid{indirect-value-t}@<I>>,
+        invoke_result_t<F&, @\exposidnc{indirect-value-t}@<I>>,
         invoke_result_t<F&, iter_reference_t<I>>>;
 
   template<class F, class I>
     concept @\deflibconcept{indirect_unary_predicate}@ =
       @\libconcept{indirectly_readable}@<I> &&
       @\libconcept{copy_constructible}@<F> &&
-      @\libconcept{predicate}@<F&, @\exposid{indirect-value-t}@<I>> &&
+      @\libconcept{predicate}@<F&, @\exposidnc{indirect-value-t}@<I>> &&
       @\libconcept{predicate}@<F&, iter_reference_t<I>> &&
       @\libconcept{predicate}@<F&, iter_common_reference_t<I>>;
 
   template<class F, class I1, class I2>
     concept @\deflibconcept{indirect_binary_predicate}@ =
       @\libconcept{indirectly_readable}@<I1> && @\libconcept{indirectly_readable}@<I2> &&
       @\libconcept{copy_constructible}@<F> &&
-      @\libconcept{predicate}@<F&, @\exposid{indirect-value-t}@<I1>, @\exposid{indirect-value-t}@<I2>> &&
-      @\libconcept{predicate}@<F&, @\exposid{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
-      @\libconcept{predicate}@<F&, iter_reference_t<I1>, @\exposid{indirect-value-t}@<I2>> &&
+      @\libconcept{predicate}@<F&, @\exposidnc{indirect-value-t}@<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
+      @\libconcept{predicate}@<F&, @\exposidnc{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
+      @\libconcept{predicate}@<F&, iter_reference_t<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
       @\libconcept{predicate}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> &&
       @\libconcept{predicate}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>;
 
   template<class F, class I1, class I2 = I1>
     concept @\deflibconcept{indirect_equivalence_relation}@ =
       @\libconcept{indirectly_readable}@<I1> && @\libconcept{indirectly_readable}@<I2> &&
       @\libconcept{copy_constructible}@<F> &&
-      @\libconcept{equivalence_relation}@<F&, @\exposid{indirect-value-t}@<I1>, @\exposid{indirect-value-t}@<I2>> &&
-      @\libconcept{equivalence_relation}@<F&, @\exposid{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
-      @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, @\exposid{indirect-value-t}@<I2>> &&
+      @\libconcept{equivalence_relation}@<F&, @\exposidnc{indirect-value-t}@<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
+      @\libconcept{equivalence_relation}@<F&, @\exposidnc{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
+      @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
       @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> &&
       @\libconcept{equivalence_relation}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>;
 
   template<class F, class I1, class I2 = I1>
     concept @\deflibconcept{indirect_strict_weak_order}@ =
       @\libconcept{indirectly_readable}@<I1> && @\libconcept{indirectly_readable}@<I2> &&
       @\libconcept{copy_constructible}@<F> &&
-      @\libconcept{strict_weak_order}@<F&, @\exposid{indirect-value-t}@<I1>, @\exposid{indirect-value-t}@<I2>> &&
-      @\libconcept{strict_weak_order}@<F&, @\exposid{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
-      @\libconcept{strict_weak_order}@<F&, iter_reference_t<I1>, @\exposid{indirect-value-t}@<I2>> &&
+      @\libconcept{strict_weak_order}@<F&, @\exposidnc{indirect-value-t}@<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
+      @\libconcept{strict_weak_order}@<F&, @\exposidnc{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
+      @\libconcept{strict_weak_order}@<F&, iter_reference_t<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
       @\libconcept{strict_weak_order}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> &&
       @\libconcept{strict_weak_order}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>;
 }