US 5-018 5 [lex] Define "whitespace character" P3657 #592
Description
Establish a definition for "whitespace character" as that term is used repeatedly and significantly in clauses 5 and 15.
Proposed change:
Apply paper P3657 A Grammar for Whitespace Characters