diff --git a/src/doc/reference.md b/src/doc/reference.md
index 1d27ac096df..47c25548af0 100644
--- a/src/doc/reference.md
+++ b/src/doc/reference.md
@@ -522,7 +522,7 @@ The two values of the boolean type are written `true` and `false`.
 ### Symbols
 
 ```{.ebnf .gram}
-symbol : "::" "->"
+symbol : "::" | "->"
        | '#' | '[' | ']' | '(' | ')' | '{' | '}'
        | ',' | ';' ;
 ```