From bfe6d8f7a5b937e70fe09d9be0e3596c4d791bd7 Mon Sep 17 00:00:00 2001 From: lprv <100177227+lprv@users.noreply.github.com> Date: Mon, 18 Nov 2024 15:58:02 +0000 Subject: [PATCH] [temp.constr.normal] Use \cdots to produce an ellipsis --- source/templates.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/templates.tex b/source/templates.tex index b2e9e1770e..08aab3ad6e 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -1910,9 +1910,9 @@ the normal forms of \tcode{E1} and \tcode{E2}. \item -The normal form of a concept-id \tcode{C} +The normal form of a concept-id \tcode{C} is the normal form of the \grammarterm{constraint-expression} of \tcode{C}, -after substituting \tcode{A$_1$, A$_2$, ..., A$_n$} for +after substituting \tcode{A$_1$, A$_2$, $\cdots$, A$_n$} for \tcode{C}{'s} respective template parameters in the parameter mappings in each atomic constraint. If any such substitution results in an invalid type or expression,