--- a/doc-src/Ref/defining.tex Thu Mar 25 05:37:32 2004 +0100
+++ b/doc-src/Ref/defining.tex Thu Mar 25 06:44:39 2004 +0100
@@ -239,10 +239,20 @@
\mbox{\tt ?}tid\mbox{\tt .}nat \\
xnum & = & \mbox{\tt \#}nat ~~|~~ \mbox{\tt \#-}nat \\
xstr & = & \mbox{\tt ''\rm text\tt ''} \\[1ex]
-letter & = & \mbox{one of {\tt a}\dots {\tt z} {\tt A}\dots {\tt Z}} \\
+letter & = & sletter ~~|~~ xletter \\
digit & = & \mbox{one of {\tt 0}\dots {\tt 9}} \\
quasiletter & = & letter ~~|~~ digit ~~|~~ \mbox{\tt _} ~~|~~ \mbox{\tt '} \\
-nat & = & digit^+
+nat & = & digit^+\\[1ex]
+sletter & = & \mbox{one of {\tt a}\dots {\tt z} {\tt A}\dots {\tt Z}} \\
+xletter & = & {\tt \backslash<} ~ (sletter ~|~ dletter ~|~ gletter ~|~ cletter) ~ {\tt >}\\
+dletter & = & \mbox{one of {\tt aa}\dots {\tt zz} {\tt AA}\dots {\tt ZZ}} \\
+bletter & = & {\tt bool} ~|~ {\tt complex} ~|~ {\tt nat} ~|~ {\tt rat} ~|~ {\tt real} ~|~ {\tt int}\\
+gletter & = & {\tt alpha} ~|~ {\tt beta} ~|~ {\tt gamma} ~|~ {\tt delta} ~|~ {\tt epsilon} ~|~ {\tt zeta} ~|~ {\tt eta} ~|\\
+ & & {\tt theta} ~|~ {\tt iota} ~|~ {\tt kappa} ~|~ {\tt mu} ~|~ {\tt nu} ~|~ {\tt xi} ~|~ {\tt pi} ~|~ {\tt rho} ~|\\
+ & & {\tt sigma} ~|~ {\tt tau} ~|~ {\tt upsilon} ~|~ {\tt phi} ~|~ {\tt psi} ~|~ {\tt omega} ~|~ {\tt Gamma} ~|\\
+ & & {\tt Delta} ~|~ {\tt Theta} ~|~ {\tt Lambda} ~|~ {\tt Xi} ~|~ {\tt Pi} ~|~ {\tt Sigma} ~|~ {\tt Upsilon} ~|\\
+ & & {\tt Phi} ~|~ {\tt Psi} ~|~ {\tt Omega}\\
+cletter & = & {\tt \hat{}\, isup} ~~|~~ {\tt \hat{}\, isub}
\end{eqnarray*}
The lexer repeatedly takes the longest prefix of the input string that
forms a valid token. A maximal prefix that is both a delimiter and a