<string-char> ::=

any character except LineFeed (&h0A), "{", or """

| "{" <non-negative-integer> "}"

| "{" <named-char> "}"