New numeral grammars.

1 files changed, 6 insertions, 2 deletions

diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf
index bda2f5f6d..5d8734d04 100644
--- a/grammars/prelude/Prelude.gf
+++ b/grammars/prelude/Prelude.gf
@@ -83,6 +83,10 @@ oper
 -- bind together two tokens in the lexer, either obligatorily or optionally
 
   oper 
-    bind : Str -> Str -> Str = \x,y -> x ++ "&+" ++ y ;
-    bindOpt : Str -> Str -> Str = \x,y -> variants {bind x y ; x ++ y} ;
+    glue : Str -> Str -> Str = \x,y -> x ++ BIND ++ y ;
+    glueOpt : Str -> Str -> Str = \x,y -> variants {glue x y ; x ++ y} ;
+    noglueOpt : Str -> Str -> Str = \x,y -> variants {x ++ y ; glue x y} ;
+
+-- this should be hidden, and never changed since it's hardcoded in (un)lexers
+    BIND : Str = "&+" ;
 } ;