diff options
Diffstat (limited to 'Doc/ref/ref6.tex')
| -rw-r--r-- | Doc/ref/ref6.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex index e74a7dd..153ddf7 100644 --- a/Doc/ref/ref6.tex +++ b/Doc/ref/ref6.tex @@ -275,7 +275,8 @@ operation and an assignment statement: {\token{target} \token{augop} \token{expression_list}} \production{augop} {"+=" | "-=" | "*=" | "/=" | "\%=" | "**="} - \productioncont{| ">>=" | "<<=" | "\&=" | "\textasciicircum=" | "|="} + % The empty groups below prevent conversion to guillemets. + \productioncont{| ">{}>=" | "<{}<=" | "\&=" | "\textasciicircum=" | "|="} \end{productionlist} (See section~\ref{primaries} for the syntax definitions for the last |