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,