[r6rs-discuss] [Formal] <symbol escape> undefined

---
This message is a formal comment which was submitted to formal-comment_at_r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
Name: David Van Horn
Email: dvanhorn_at_cs.brandeis.edu
Type: Defect
Priority: Minor
R6RS component: Lexical Syntax
Version of the report: 5.91
Summary of the issue
--------------------
The production <symbol escape> is used, but not defined, in Section 3.2, 
Lexical syntax.
Full description
----------------
The production <symbol escape> is used, but not defined.  Perhaps this 
was meant to be <inline hex escape>.