Sexp of symbol table