Fix SF bug #1061770: Manual typesets bit-shift operators as guillemet
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 @@
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