rollup merge of #19396: kulakowski/patch-1

2014-12-05 10:06:45 -08:00 · 2014-12-05 10:06:45 -08:00 · 2af097da0d
commit 2af097da0d
parent b738ece85f 9460d1744f
1 changed files with 1 additions and 1 deletions
--- 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 : "::" | "->"
       | '#' | '[' | ']' | '(' | ')' | '{' | '}'
       | ',' | ';' ;
 ```