formatting symbol table output