输出符号表