* Tweaked escapes so that \> becomes > in <<...>>. Do NOT replace if it's <\\>.
  a(x) ::= <<\>>>> yields >> as output.
  a(x) ::= <<>\>>> yields >> as output.

* Added warning about: "Missing newline after newline escape <\\>"
%\> is the escape to avoid end of string