From 0c2552ac49cf2086ee8671ee939b2251d8c78ae4 Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Sat, 23 Aug 2025 21:47:47 -0400
Subject: [PATCH] [syntax] Replace plain text with grammar terms where intended

For the examples of X-seq and X-list forms of specifiaction,
ensure that the thing in the sequence or list is the corresponding
grammar element rather than a plain text term, as the two are not
always synonyms, notably not the case for the cited *declaration*.
---
 source/intro.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/intro.tex b/source/intro.tex
index e4014b9674..57cf548e99 100644
--- a/source/intro.tex
+++ b/source/intro.tex
@@ -1094,9 +1094,9 @@
 (e.g., \grammarterm{qualified-id}).
 \item \fakegrammarterm{X-seq} is one or more \fakegrammarterm{X}'s without intervening
 delimiters (e.g., \grammarterm{declaration-seq} is a sequence of
-declarations).
+\grammarterm{declaration}s).
 \item \fakegrammarterm{X-list} is one or more \fakegrammarterm{X}'s separated by
 intervening commas (e.g., \grammarterm{identifier-list} is a sequence of
-identifiers separated by commas).
+\grammarterm{identifier}s separated by commas).
 \end{itemize}%
 \indextext{notation!syntax|)}