From 069e3287170fc311314f57a7e2f65560336a36d5 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Fri, 15 Aug 2025 15:00:17 +0800
Subject: [PATCH 1/3] [pointer.traits.types] Replace "Alias template" with
 "Result"

---
 source/memory.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/memory.tex b/source/memory.tex
index 66830d4057..dc3ddf4aa7 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -884,7 +884,7 @@
 
 \begin{itemdescr}
 \pnum
-\templalias \tcode{Ptr::rebind<U>} if
+\result \tcode{Ptr::rebind<U>} if
 the \grammarterm{qualified-id} \tcode{Ptr::rebind<U>} is valid and denotes a
 type\iref{temp.deduct}; otherwise,
 \tcode{SomePointer<U, Args>} if

From 1d9a3d99a707e8fe0228b4f5e35ab68c961eff07 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Fri, 15 Aug 2025 15:00:49 +0800
Subject: [PATCH 2/3] [allocator.traits.types] Replace "Alias template" with
 "Result"

---
 source/memory.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/memory.tex b/source/memory.tex
index dc3ddf4aa7..bcd3689115 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -1787,7 +1787,7 @@
 
 \begin{itemdescr}
 \pnum
-\templalias \tcode{Alloc::rebind<T>::other} if
+\result \tcode{Alloc::rebind<T>::other} if
 the \grammarterm{qualified-id} \tcode{Alloc::rebind<T>::other} is valid and denotes a
 type\iref{temp.deduct}; otherwise,
 \tcode{Alloc<T, Args>} if \tcode{Alloc} is a class template specialization

From a7d52a13960de9d736b309fc5885151182adf76b Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Fri, 15 Aug 2025 15:01:04 +0800
Subject: [PATCH 3/3] macros.tex: Remove no longer used "Alias template"

---
 source/macros.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/source/macros.tex b/source/macros.tex
index bbba8134c6..538f5d7279 100644
--- a/source/macros.tex
+++ b/source/macros.tex
@@ -384,7 +384,6 @@
 \newcommand{\result}{\Fundesc{Result}}
 \newcommand{\returntype}{\Fundesc{Return type}}
 \newcommand{\ctype}{\Fundesc{Type}}
-\newcommand{\templalias}{\Fundesc{Alias template}}
 
 %% Cross-reference
 \newcommand{\xref}[1]{\textsc{See also:}\space #1}