diff options
| -rw-r--r-- | doc/reference/reference.verb.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/reference.verb.tex b/doc/reference/reference.verb.tex index 56bdbbb9b1..a7e10b4aa0 100644 --- a/doc/reference/reference.verb.tex +++ b/doc/reference/reference.verb.tex @@ -2673,7 +2673,7 @@ replaced by the expected type \verb@B@. \label{sec:infix-operations} \syntax\begin{verbatim} - PostfixExpr \>::=\> InfixExpr [Id] + PostfixExpr \=::=\= InfixExpr [Id] InfixExpr \>::=\> PrefixExpr \> |\> InfixExpr Id InfixExpr PrefixExpr \>::=\> [`-' | `+' | `!' | `~'] SimpleExpr |