Re: explicit laws about whitespace in rules

[Damian Conway]

Jeff 'japhy' Pinyan wrote:

I'd like to know where EXACTLY whitespace is permitted in rules. Is it legal to write

  \c [CHARACTER NAME]

or must I write

  \c[CHARACTER NAME]

The latter, I believe. It's a single token.

Damian