squeezed some space out of a line that was too long
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 8f18c22..00383ef 100644
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -62,8 +62,8 @@
categorized syntactically as atoms. The syntax for atoms is:
\begin{verbatim}
-atom: identifier | literal | enclosure
-enclosure: parenth_form | list_display | dict_display | string_conversion
+atom: identifier | literal | enclosure
+enclosure: parenth_form|list_display|dict_display|string_conversion
\end{verbatim}
\subsection{Identifiers (Names)}
diff --git a/Doc/ref5.tex b/Doc/ref5.tex
index 8f18c22..00383ef 100644
--- a/Doc/ref5.tex
+++ b/Doc/ref5.tex
@@ -62,8 +62,8 @@
categorized syntactically as atoms. The syntax for atoms is:
\begin{verbatim}
-atom: identifier | literal | enclosure
-enclosure: parenth_form | list_display | dict_display | string_conversion
+atom: identifier | literal | enclosure
+enclosure: parenth_form|list_display|dict_display|string_conversion
\end{verbatim}
\subsection{Identifiers (Names)}