From fa88467785e4d81c3b08a425725eec4c34dd879c Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Tue, 4 Nov 2025 12:56:04 -1000 Subject: [PATCH] [cpp.pre] Apply unicode markup to last parts of [pre] This should complete the process of applying unicode code point markup to denote specific characters for the grammar in the preprocessing clause. --- source/preprocessor.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/preprocessor.tex b/source/preprocessor.tex index bbcf9a66ae..43b2c6a484 100644 --- a/source/preprocessor.tex +++ b/source/preprocessor.tex @@ -310,7 +310,7 @@ within a preprocessing directive (from just after the directive-introducing token through just before the terminating new-line character) -are space and horizontal-tab +are \unicode{0020}{space} and \unicode{0009}{character tabulation} (including spaces that have replaced comments or possibly other whitespace characters in translation phase 3).