diff options
Diffstat (limited to 'Doc/ref')
| -rw-r--r-- | Doc/ref/ref5.tex | 3 | ||||
| -rw-r--r-- | Doc/ref/ref6.tex | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex index 036533c..091c91c 100644 --- a/Doc/ref/ref5.tex +++ b/Doc/ref/ref5.tex @@ -802,9 +802,10 @@ The shifting operations have lower priority than the arithmetic operations: \begin{productionlist} + % The empty groups below prevent conversion to guillemets. \production{shift_expr} {\token{a_expr} - | \token{shift_expr} ( "<<" | ">>" ) \token{a_expr}} + | \token{shift_expr} ( "<{}<" | ">{}>" ) \token{a_expr}} \end{productionlist} These operators accept plain or long integers as arguments. The 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 |