diff -r 5b0d04078d2a -r f23a58cf12a4 doc-src/System/showsymbols
--- a/doc-src/System/showsymbols	Wed Jan 24 20:55:29 2001 +0100
+++ b/doc-src/System/showsymbols	Wed Jan 24 20:56:12 2001 +0100
@@ -8,7 +8,7 @@
 
 while (<ARGV>) {
     if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
-        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
+       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
 #       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
 #       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
         if ("$eol" eq "&") {