From 2c0995ea40bb63060aaab93858d04d20641301cc Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Mon, 19 Jan 2026 15:15:39 +0100
Subject: [PATCH] [module.reach] Add $P$ for point P

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

diff --git a/source/modules.tex b/source/modules.tex
index 551e1ecc62..9d42164923 100644
--- a/source/modules.tex
+++ b/source/modules.tex
@@ -1064,7 +1064,7 @@
 The value of \tcode{n} is 1.
 The member \tcode{Incomplete::x}
 members-of-precedes\iref{meta.reflection.member.queries}
-the synthesized point P associated with the injected declaration
+the synthesized point $P$ associated with the injected declaration
 produced by the call to \tcode{define_aggregate}.
 \end{example}