diff -r 5b0d04078d2a -r f23a58cf12a4 doc-src/System/symbols.tex
--- a/doc-src/System/symbols.tex	Wed Jan 24 20:55:29 2001 +0100
+++ b/doc-src/System/symbols.tex	Wed Jan 24 20:56:12 2001 +0100
@@ -7,8 +7,8 @@
 represented in source text as \verb,\<,$name$\verb,>, (where $name$ may be any
 identifier).  It is left to front-end tools how these symbols are presented to
 the user.  The following predefined standard symbols are available by default
-for Isabelle document output; they are also supported by Proof~General when
-used together with the X-Symbol package.
+for Isabelle document output; most of these are also supported by
+Proof~General when used together with the X-Symbol package.
 
 \begin{center}
   \input{syms}