doc-src/System/showsymbols
changeset 11573 4f85af77038f
parent 10974 f23a58cf12a4
child 12361 b7ca18198669
--- a/doc-src/System/showsymbols	Wed Sep 26 22:24:55 2001 +0200
+++ b/doc-src/System/showsymbols	Wed Sep 26 22:25:23 2001 +0200
@@ -9,6 +9,7 @@
 while (<ARGV>) {
     if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
+#       print "\\verb,\\<$1>, & \\isactrlbold{\\isasym$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 "&") {