diff --git a/source/declarations.tex b/source/declarations.tex
index 6afaa33fc6..197e22df90 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -4668,12 +4668,12 @@
 
 \begin{bnf}
 \nontermdef{precondition-specifier}\br
-  \terminal{pre} \opt{attribute-specifier-seq} \terminal{(} conditional-expression \terminal{)}
+  \keyword{pre} \opt{attribute-specifier-seq} \terminal{(} conditional-expression \terminal{)}
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{postcondition-specifier}\br
-  \terminal{post} \opt{attribute-specifier-seq} \terminal{(} \opt{result-name-introducer} conditional-expression \terminal{)}
+  \keyword{post} \opt{attribute-specifier-seq} \terminal{(} \opt{result-name-introducer} conditional-expression \terminal{)}
 \end{bnf}
 
 \pnum