diff --git a/source/containers.tex b/source/containers.tex
index 947cfee6d8..0f5e875c29 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -11400,7 +11400,7 @@
     tuple_element_t<1, @\exposid{iter-value-type}@<InputIterator>>;                 // \expos
 template<class InputIterator>
   using @\placeholder{iter-to-alloc-type}@ = pair<
-    add_const_t<tuple_element_t<0, @\exposid{iter-value-type}@<InputIterator>>>,
+    const tuple_element_t<0, @\exposid{iter-value-type}@<InputIterator>>,
     tuple_element_t<1, @\exposid{iter-value-type}@<InputIterator>>>;                // \expos
 template<ranges::@\libconcept{input_range}@ Range>
   using @\exposid{range-key-type}@ =
@@ -11409,7 +11409,7 @@
   using @\exposid{range-mapped-type}@ = typename ranges::range_value_t<Range>::second_type; // \expos
 template<ranges::@\libconcept{input_range}@ Range>
   using @\exposid{range-to-alloc-type}@ =
-    pair<add_const_t<typename ranges::range_value_t<Range>::first_type>,
+    pair<const typename ranges::range_value_t<Range>::first_type,
          typename ranges::range_value_t<Range>::second_type>;           // \expos
 \end{codeblock}
 
diff --git a/source/future.tex b/source/future.tex
index 50edea0be7..bdae929d04 100644
--- a/source/future.tex
+++ b/source/future.tex
@@ -561,8 +561,8 @@
 the \oldconcept{TransformationTrait} requirements
 with a member typedef \tcode{type} that names the following type:
 \begin{itemize}
-\item for the first specialization, \tcode{add_volatile_t<TE>}, and
-\item for the second specialization, \tcode{add_cv_t<TE>}.
+\item for the first specialization, \tcode{volatile TE}, and
+\item for the second specialization, \tcode{const volatile TE}.
 \end{itemize}
 
 \pnum
@@ -616,8 +616,8 @@
 the \oldconcept{TransformationTrait} requirements
 with a member typedef \tcode{type} that names the following type:
 \begin{itemize}
-\item for the first specialization, \tcode{add_volatile_t<VA::type>}, and
-\item for the second specialization, \tcode{add_cv_t<VA::type>}.
+\item for the first specialization, \tcode{volatile VA::type}, and
+\item for the second specialization, \tcode{const volatile VA::type}.
 \end{itemize}
 \end{itemdescr}
 
diff --git a/source/numerics.tex b/source/numerics.tex
index 5d2ee0f222..1407a8b204 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -12594,7 +12594,7 @@
   class @\libglobal{scaled_accessor}@ {
   public:
     using element_type =
-      add_const_t<decltype(declval<ScalingFactor>() * declval<NestedAccessor::element_type>())>;
+      const decltype(declval<ScalingFactor>() * declval<NestedAccessor::element_type>());
     using reference = remove_const_t<element_type>;
     using data_handle_type = NestedAccessor::data_handle_type;
     using offset_policy = scaled_accessor<ScalingFactor, NestedAccessor::offset_policy>;
@@ -12766,7 +12766,7 @@
   class @\libglobal{conjugated_accessor}@ {
   public:
     using element_type =
-      add_const_t<decltype(@\exposid{conj-if-needed}@(declval<NestedAccessor::element_type>()))>;
+      const decltype(@\exposid{conj-if-needed}@(declval<NestedAccessor::element_type>()));
     using reference = remove_const_t<element_type>;
     using data_handle_type = typename NestedAccessor::data_handle_type;
     using offset_policy = conjugated_accessor<NestedAccessor::offset_policy>;
diff --git a/source/utilities.tex b/source/utilities.tex
index 5172585905..764143b79a 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -2849,7 +2849,7 @@
 \pnum
 Let \tcode{TE} denote \tcode{tuple_element_t<I, T>} of the cv-unqualified type \tcode{T}. Then
 each specialization of the template meets the \oldconcept{TransformationTrait} requirements\iref{meta.rqmts}
-with a member typedef \tcode{type} that names the type \tcode{add_const_t<TE>}.
+with a member typedef \tcode{type} that names the type \tcode{const TE}.
 
 \pnum
 In addition to being available via inclusion of the \libheader{tuple} header,
@@ -5937,7 +5937,7 @@
 Let \tcode{VA} denote \tcode{variant_alternative<I, T>} of the
 cv-unqualified type \tcode{T}. Then each specialization of the template
 meets the \oldconcept{TransformationTrait} requirements\iref{meta.rqmts} with a
-member typedef \tcode{type} that names the type \tcode{add_const_t<VA::type>}.
+member typedef \tcode{type} that names the type \tcode{const VA::type}.
 \end{itemdescr}
 
 \indexlibraryglobal{variant_alternative}%