1 files changed, 5 insertions, 0 deletions
diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf
index f5903d7ec..bda2f5f6d 100644
--- a/grammars/prelude/Prelude.gf
+++ b/grammars/prelude/Prelude.gf
@@ -80,4 +80,9 @@ oper
     Predef.PFalse => False ; Predef.PTrue => True
     } ;
 
+-- 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} ;
 } ;