Fix inline block in notation.grm

2017-05-28 17:12:52 +01:00
parent da0ecc6cf7
commit 00a5ff2364
1 changed files with 1 additions and 1 deletions
@@ -18,7 +18,7 @@ Operator `*` denotes _iteration_ (zero or more).<br>
 Operator `+` denotes _iteration_ (one or more).<br>
 Operator `?` denotes _option_ (zero or one).<br>
 alpha`{`beta`}` denotes a nonempty _beta_-separated list of _alpha_'s. <br>
-Operator ``++'' means that no space or comment allowed between operands.
+Operator `++` means that no space or comment allowed between operands.

 # Semicolons