沃利斯发明无穷符号