diff --git a/source/lex.tex b/source/lex.tex
index 8afbedb67f..56fd1b0c64 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -553,13 +553,21 @@
 \pnum
 A preprocessing token is the minimal lexical element of the language in translation
 phases 3 through 5.
-The categories of preprocessing token are: header names,
-placeholder tokens produced by preprocessing \tcode{import} and \tcode{module} directives
-(\grammarterm{import-keyword}, \grammarterm{module-keyword}, and \grammarterm{export-keyword}),
-identifiers, preprocessing numbers, character literals (including user-defined character
-literals), string literals (including user-defined string literals), preprocessing
-operators and punctuators, and single non-whitespace characters that do not lexically
-match the other preprocessing token categories.
+The categories of preprocessing token are:
+\begin{itemize}
+\item header names;
+\item placeholder tokens produced by preprocessing \tcode{import}
+      and \tcode{module} directives
+      (\grammarterm{import-keyword}, \grammarterm{module-keyword},
+      and \grammarterm{export-keyword});
+\item identifiers;
+\item preprocessing numbers;
+\item character literals (including user-defined character literals);
+\item string literals (including user-defined string literals);
+\item preprocessing operators and punctuators;
+\item single non-whitespace characters that do not lexically
+      match the other preprocessing token categories.
+\end{itemize}
 If a \unicode{0027}{apostrophe}, a \unicode{0022}{quotation mark},
 or any character not in the basic character set
 matches the last category, the program is ill-formed.