--- a/doc-src/Ref/defining.tex Wed May 18 23:39:22 2011 +0200
+++ b/doc-src/Ref/defining.tex Fri May 20 14:03:42 2011 +0200
@@ -249,8 +249,7 @@
conceptually just concatenated from left to right, with the standard
syntax output table always coming last as default. Thus mixfix
productions of preceding modes in the list may override those of later
-ones. Also note that token translations are always relative to some
-print mode (see \S\ref{sec:tok_tr}).
+ones.
\medskip The canonical application of print modes is optional printing
of mathematical symbols from a special screen font instead of {\sc