avoid ugly markup based on the unfortunate conversions of ">>" and "<<" to

guillemets; no need for magic here

1 files changed, 1 insertions, 1 deletions

diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex
index 1eb1258..e820867 100644
--- a/Doc/ref/ref6.tex
+++ b/Doc/ref/ref6.tex
@@ -377,7 +377,7 @@ right type (but even this is determined by the sliced object).
 \begin{productionlist}
   \production{print_stmt}
              {"print" ( \optional{\token{expression} ("," \token{expression})* \optional{","}}}
-  \productioncont{| ">\code{>}" \token{expression}
+  \productioncont{| ">>" \token{expression}
                   \optional{("," \token{expression})+ \optional{","}} )}
 \end{productionlist}