diff --git a/source/threads.tex b/source/threads.tex
index db30cf641a..096fe7dace 100644
--- a/source/threads.tex
+++ b/source/threads.tex
@@ -3161,6 +3161,8 @@
 
     constexpr explicit atomic_ref(T&);
     constexpr atomic_ref(const atomic_ref&) noexcept;
+    template<class U>
+      constexpr atomic_ref(const atomic_ref<U>&) noexcept;
     atomic_ref& operator=(const atomic_ref&) = delete;
 
     constexpr void store(value_type, memory_order = memory_order::seq_cst) const noexcept;
@@ -3317,6 +3319,24 @@
 \tcode{*this} references the object referenced by \tcode{ref}.
 \end{itemdescr}
 
+\begin{itemdecl}
+template<class U>
+  constexpr atomic_ref(const atomic_ref<U>&) noexcept;
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\constraints
+\begin{itemize}
+\item \tcode{T} and \tcode{U} are similar types\iref{conv.qual}, and
+\item \tcode{is_convertible_v<U*, T*>} is \tcode{true}.
+\end{itemize}
+
+\pnum
+\ensures
+\tcode{*this} references the object referenced by \tcode{ref}.
+\end{itemdescr}
+
 \indexlibrarymember{store}{atomic_ref}%
 \indexlibrarymember{store}{atomic_ref<\placeholder{pointer-type}>}%
 \indexlibrarymember{store}{atomic_ref<\placeholder{integral-type}>}%
@@ -3642,6 +3662,8 @@
 
     constexpr explicit atomic_ref(@\placeholder{integral-type}@&);
     constexpr atomic_ref(const atomic_ref&) noexcept;
+    template<class U>
+      constexpr atomic_ref(const atomic_ref<U>&) noexcept;
     atomic_ref& operator=(const atomic_ref&) = delete;
 
     constexpr void store(value_type, memory_order = memory_order::seq_cst) const noexcept;
@@ -3860,6 +3882,8 @@
 
     constexpr explicit atomic_ref(@\placeholder{floating-point-type}@&);
     constexpr atomic_ref(const atomic_ref&) noexcept;
+    template<class U>
+      constexpr atomic_ref(const atomic_ref<U>&) noexcept;
     atomic_ref& operator=(const atomic_ref&) = delete;
 
     constexpr void store(value_type,
@@ -4148,6 +4172,8 @@
 
     constexpr explicit atomic_ref(@\placeholder{pointer-type}@&);
     constexpr atomic_ref(const atomic_ref&) noexcept;
+    template<class U>
+      constexpr atomic_ref(const atomic_ref<U>&) noexcept;
     atomic_ref& operator=(const atomic_ref&) = delete;
 
     constexpr void store(value_type, memory_order = memory_order::seq_cst) const noexcept;