From c8f87efff280712450ea02359b805032570a8a39 Mon Sep 17 00:00:00 2001
From: Lewis Baker <lewissbaker@users.noreply.github.com>
Date: Mon, 12 Aug 2024 20:57:08 +0930
Subject: [PATCH] Fix markup of product-type constructor call in [exec.just]

The `\exposid{product-type}` needed some extra `@` symbols surrounding so that the subsequent curly-braces for the constructor call are treated as literal text.
---
 source/exec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/exec.tex b/source/exec.tex
index b9d739c0b8..dd77ad6440 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -2583,7 +2583,7 @@
 \end{itemize}
 
 Otherwise, it is expression-equivalent to
-\tcode{\exposid{make-sender}(\exposid{just-cpo}, \exposid{product-type}{ts...})}.
+\tcode{\exposid{make-sender}(\exposid{just-cpo}, @\exposid{product-type}@{ts...})}.
 
 For \tcode{just}, \tcode{just_error}, and \tcode{just_stopped},
 let \exposid{set-cpo} be