list of important symbols

[Markus Mohr]

Hi!

Is there a clever way to produce a list of important symbols or are
tables the solution (where sorting would be clumsy)?

thanks,
marksu