From c998c2f70a28983fd6777036fa15c69349232e32 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Mon, 24 Nov 2025 20:29:58 +0100
Subject: [PATCH 1/3] [exec.snd.expos] Add missing \exposid around "tag-t"

---
 source/exec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index ad7f167c3c..35d9673459 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1796,7 +1796,7 @@
     }
 
     auto get_env() const noexcept -> @\exposid{env-type}@<Index, Sndr, Rcvr> {
-      return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@);
+      return @\exposid{impls-for}@<@\exposid{tag-t}@>::@\exposid{get-env}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@);
     }
 
     @\exposidnc{basic-state}@<Sndr, Rcvr>* @\exposidnc{op}@;                                // \expos
@@ -1824,7 +1824,7 @@
 
     void start() & noexcept {
       auto& [...ops] = @\exposid{inner-ops}@;
-      @\exposid{impls-for}@<tag-t>::@\exposid{start}@(this->@\exposid{state}@, this->@\exposid{rcvr}@, ops...);
+      @\exposid{impls-for}@<@\exposid{tag-t}@>::@\exposid{start}@(this->@\exposid{state}@, this->@\exposid{rcvr}@, ops...);
     }
   };
 

From f2d60fab507785fe08498e6460487102c689d9f0 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Mon, 24 Nov 2025 20:31:13 +0100
Subject: [PATCH 2/3] [exec.let] Add missing \exposid around "let-cpo"

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

diff --git a/source/exec.tex b/source/exec.tex
index 35d9673459..b817fb9642 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -4054,7 +4054,7 @@
 \end{codeblock}
 
 \pnum
-\tcode{\exposid{impls-for}<\exposid{decayed-typeof}<let-cpo>>::\exposid{complete}}
+\tcode{\exposid{impls-for}<\exposid{decayed-typeof}<\exposid{let-cpo}>>::\exposid{complete}}
 is initialized with a callable object equivalent to the following:
 \begin{codeblock}
 []<class Tag, class... Args>

From fa3281ed3a2ba80270ca7984385b348be3028bd7 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Mon, 24 Nov 2025 20:32:43 +0100
Subject: [PATCH 3/3] [range.zip.sentinel] Add missing \exposid around
 "maybe-const"

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

diff --git a/source/ranges.tex b/source/ranges.tex
index c93b855ec9..c084d19ac7 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -11944,7 +11944,7 @@
 \begin{itemdecl}
 template<bool OtherConst>
   requires (@\libconcept{sentinel_for}@<sentinel_t<@\exposid{maybe-const}@<Const, Views>>,
-                         iterator_t<maybe-const<OtherConst, Views>>> && ...)
+                         iterator_t<@\exposid{maybe-const}@<OtherConst, Views>>> && ...)
 friend constexpr bool operator==(const @\exposid{iterator}@<OtherConst>& x, const @\exposid{sentinel}@& y);
 \end{itemdecl}