当我们写下“1+1=2”时，好像从未怀疑过这几个符号的合法性。它们静静地躺在课本里，仿佛自宇宙大爆炸，它们就该长成这个样子。

　　翻开弗洛里安·卡乔里的《数学符号史》，我们才发现，这种“理所当然”其实是一种错觉。我们今天视若无睹的每一个符号，基本上都不是逻辑推导出的最优解，而是历史偶然、地域路径依赖乃至印刷排版限制共同作用的产物。

　　这本写符号的书，也是一部作者的人生史。作者卡乔里16岁从瑞士移民美国，辗转求学，后因健康原因迁往科罗拉多，在科罗拉多学院教了近三十年书，直到59岁那年，才被加州大学伯克利分校请去担任美国首个数学史教授，并在那里完成了这部两卷本巨著的巅峰之作。这种厚积薄发的人生轨迹，似乎也暗合了他笔下那些符号。这些符号大多也不是一蹴而就，而是经历了漫长的酝酿、竞争与淘汰。

　　书的前半部分从巴比伦人讲起。他们早在公元前2300年左右就掌握了六十进制和“位值原理”——也就是“数字所在的位置决定它的大小”这个思想的雏形。但吊诡的是，他们始终没有发明“零”这个符号。于是，同一个符号，可能表示12，也可能表示12×60，全靠上下文猜测，巴比伦的会计和天文学家对此大概头痛不已。反倒是中美洲的玛雅人，虽然起步晚了近两千年，却更彻底地把“零”和“位值原理”系统化了。“零”很可能是在不同文明里被独立发明了好几次，而不是从某个源头一路传播开来的。埃及圣书体数字里，“1000000”被画成“一个受惊的人”，用惊愕来隐喻“无穷”，这种诗意的联想，读来也令人会心一笑。

　　全书最“反直觉”的案例，大概是希腊人的自我倒退。他们原本只需6个符号就能表示10万以内的所有数，后来却改用字母数字系统，表示1000以内的数反而要用到27个符号。卡乔里用了一个有趣的比喻：这就像“蜈蚣有那么多腿，爬行却很慢”。他由此提出一个深刻的论点：科学的发展并不总是一路向前的直线，人们有时会选择一个表面“看起来更聪明”、实际却更繁琐的系统。这个观点放在今天依然有效：我们习惯把技术进步想象成必然的单向运动，但历史告诉我们，倒退和弯路同样真实存在。

　　如果说全书有一个真正的“主角”，那一定是等号“=”。1557年，英国人罗伯特·雷科德在《砺智石》一书中首次使用了它，理由很单纯：没有什么比两条平行且相等的线段更适合表示“相等”了。但这个如今全球通用的符号，诞生后却整整沉寂了61年，差不多从印刷品上消失了，直到1618年才被人重新拾起。

　　笛卡尔在《几何学》里发明了自己的等号（一个由“oe”变形而来或者说形似把金牛座天文符号侧过来的图案），这个符号一度在荷兰、法国占据上风，与雷科德符号展开了长达半个多世纪的“霸权争夺战”。最终“=”能够胜出，书里给出的关键原因似乎是一次历史的偶然——牛顿和莱布尼兹这两位微积分的奠基人，不约而同地选择了雷科德符号。卡乔里甚至大胆假设：如果莱布尼兹当初青睐笛卡尔符号，今天全世界可能都在写“≈”。“=”在最终统一含义之前，竟然一度身兼五种彼此矛盾的用法：表示减法、正负号、小数点甚至平行线，混乱到一度有被历史淘汰的危险。而与此同时，博洛尼亚一份神秘手稿里独立出现了类似的符号，这场“平行发明”的悬案至今未解。读到这里，你也许会觉得，数学符号的历史仿佛一本悬疑小说。

　　符号的传播史，也是一部微缩的国际政治史。书里提到，除号“÷”的势力范围精确对应英国、英属殖民地和美国，而冒号“∶”则统治着欧洲大陆和拉丁美洲——作者感叹“也许没有任何符号能像它们这样完全遵守政治边界”。小数点同样如此：比如3.14这个数字，英美用“点”（3.14），欧洲大陆多用“逗号”（3,14），这个分裂能追溯到纳皮尔本人在“点”和“逗号”之间摇摆不定的手稿。至于乘号“×”，则因为长得太像字母X，屡遭莱布尼兹等人嫌弃，这就像我们今天讨论字体设计时，纠结0和O的区别。

　　书中最令人唏嘘的，是那些“早生了一百五十年”的天才。法国数学家丘凯早在1484年就系统使用了零指数和负指数，比公认的发明年代早了一个半世纪，却因为手稿从未印刷出版而长期无人知晓。与之形成对照的是中国元代数学家朱世杰精巧的“太字形”代数符号：用一个中心汉字把最多四个未知数摆成十字形，美则美矣，却因为难以扩展，反而可能限制了中国代数在13世纪之后的发展。这两个案例告诉我们，“谁先发明”与“谁被历史记住”，常常是两回事，而数学史写作本身，就带着一种“打捞历史”的使命感。

　　读完这本书，我们很难再用“理所当然”的心态去看待课本上的每一个符号。“一名之立，旬月踟蹰”，这句严复的名言用在这里恰如其分：符号虽小，凝结的却是人类几千年来反复试错、竞争、遗忘又重新发明的漫长智慧。人类知识体系里最基础、最“透明”的工具，往往也最值得被重新看见。