符号表达式中默认的自由符号变量是（）/ananas/latex/p/517432
符号表达式中默认的自由符号变量是（）/ananas/latex/p/517432
1
符号表达式中默认的自由符号变量是（）/ananas/latex/p/517432