diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 6005f51627f..8101cb94653 100644
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -211,7 +211,7 @@ enclosed in curly braces:
 
 \begin{productionlist}
   \production{dict_display}
-             {"{" [\token{key_datum_list}] "}"}
+             {"\{" [\token{key_datum_list}] "\}"}
   \production{key_datum_list}
              {\token{key_datum} ("," \token{key_datum})* [","]}
   \production{key_datum}