src/Doc/Isar_Ref/document/showsymbols

more latex symbols, notably for embedded ML;

#!/usr/bin/env perl

print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";

$eol = "&";

while (<ARGV>) {
    if (m/^\\newcommand\{\\(isasym|isactrl)([A-Za-z]+)\}/) {
        if ($1 eq "isasym") {
            print "\\verb,\\<$2>, & {\\isasym$2} $eol\n";
        }
        else {
            print "\\verb,\\<^$2>, & {\\isactrl$2} $eol\n";
        }
        if ("$eol" eq "&") {
            $eol = "\\\\";
        } else {
            $eol = "&";
        }
    }
}

if ("$eol" eq "\\\\") {
    print "$eol\n";
}

print "\\end{supertabular}\n";