On Nov 5, 2019, at 10:17 AM, Remi Forax <fo...@univ-mlv.fr> wrote: > > the rationale to add \<newline> is well explain but why do you want to > introduce \s given we already have \u0020 ?
Remi, you are an expert in the field and you got fooled! This is *exactly* why we need \s. The \uXXXX syntax is expanded *before* token scanning, which means that the poor programmer who tries \u0020 will see it stripped by the whitespace stripper. Using \uXXXX where XXXX is an ASCII code point is an anti-pattern! (I think we would help our users if we deprecated it.) You might have said \040, but that too is hard to remember and to read and to use correctly. \s is the answer. — John
