# HG changeset patch
# User wenzelm
# Date 1152620464 -7200
# Node ID 164a42b7385fef0396d87ccc7918b0fbe26d0491
# Parent  16e5b2723335b6fbf9215ff81b4057c110f1847f
num/xnum: bin or hex;

diff -r 16e5b2723335 -r 164a42b7385f doc-src/Ref/defining.tex
--- a/doc-src/Ref/defining.tex	Tue Jul 11 12:24:23 2006 +0200
+++ b/doc-src/Ref/defining.tex	Tue Jul 11 14:21:04 2006 +0200
@@ -237,8 +237,8 @@
 tid       & =   & \mbox{\tt '}id \\
 tvar      & =   & \mbox{\tt ?}tid ~~|~~
                   \mbox{\tt ?}tid\mbox{\tt .}nat \\
-num       & =   & nat ~~|~~ \mbox{\tt-}nat \\
-xnum      & =   & \mbox{\tt \#}nat ~~|~~ \mbox{\tt \#-}nat \\
+num       & =   & nat ~~|~~ \mbox{\tt-}nat ~~|~~ \verb,0x,\,hex^+ ~~|~~ \verb,0b,\,bin^+ \\
+xnum      & =   & \mbox{\tt \#}num \\
 xstr      & =   & \mbox{\tt ''~\dots~\tt ''} \\[1ex]
 letter & = & latin ~|~ \verb,\<,latin\verb,>, ~|~ \verb,\<,latin\,latin\verb,>, ~|~ greek ~| \\
       &   & \verb,\<^isub>, ~|~ \verb,\<^isup>, \\
@@ -246,6 +246,8 @@
 latin & = & \verb,a, ~|~ \dots ~|~ \verb,z, ~|~ \verb,A, ~|~ \dots ~|~ \verb,Z, \\
 digit & = & \verb,0, ~|~ \dots ~|~ \verb,9, \\
 nat & = & digit^+ \\
+bin & = & \verb,0, ~|~ \verb,1, \\
+hex & = & digit  ~|~  \verb,a, ~|~ \dots ~|~ \verb,f, ~|~ \verb,A, ~|~ \dots ~|~ \verb,F, \\
 greek & = & \verb,\<alpha>, ~|~ \verb,\<beta>, ~|~ \verb,\<gamma>, ~|~ \verb,\<delta>, ~| \\
       &   & \verb,\<epsilon>, ~|~ \verb,\<zeta>, ~|~ \verb,\<eta>, ~|~ \verb,\<theta>, ~| \\
       &   & \verb,\<iota>, ~|~ \verb,\<kappa>, ~|~ \verb,\<mu>, ~|~ \verb,\<nu>, ~| \\