每一个符号背后，都藏着一段跨越千年的智慧故事
在没有符号的年代，数学家只能用文字描述运算——写一个方程像写小作文。符号的发明，让数学从冗长的文字中解放，成为全人类通用的「世界语」。
德国数学家 Johannes Widmann 在 1489 年的算术书中首次使用 + 和 −。据推测，+ 来源于拉丁文 et（「和」）的速记简写——手写时 e 和 t 连笔，逐渐变成了十字。而 − 可能来自拉丁文 minus（「减」）的首字母 m 的简化横线。
+ 和 − 出现之前，欧洲人用字母 p（più，加）和 m（meno，减）表示加减。想象一下做算术题满纸都是 p 和 m 的痛苦吧！威尔士数学家 Robert Recorde 在 1557 年的《砺智石》中发明了等号 =。他写道：「我找不到比两条等长平行线更相等的东西了。」这是人类历史上第一条印刷方程：14x + 15 = 71——你可以声称自己解过世界上最古老的印刷方程！
英国牧师 William Oughtred 在 1631 年的《数学之钥》中首次使用 × 表示乘法。他将交叉符号选为乘号，是因为乘法本质上是「将两组数交叉配对」。·（点乘）则由莱布尼茨在 1698 年引入，以避免 × 与字母 x 混淆。
×，他觉得它太像字母 x 了。他在信中抱怨说：「这个符号简直是在制造混乱！」于是发明了点乘 · 代替。瑞士数学家 Johann Rahn 在 1659 年的《代数学》中首次使用 ÷。这个符号的设计精妙：上方和下方的点分别代表被除数和除数，中间的横线代表「分开」。它也叫「obelus」，源自希腊语「长矛」——在古希腊用于标记有疑问的文本段落。
÷，欧洲大陆更喜欢用冒号 :，而分数线本身就是最古老的除号！莱布尼茨在 1675 年发明积分符号 ∫。它来自拉丁文 summa（「总和」）首字母 s 的长写体 ſ——积分的本质就是「无限多个无穷小的和」。莱布尼茨还同时发明了微分符号 d（来自 differentia，「差分」），以及 dx、dy 等记法。
英国数学家 William Jones 在 1706 年首次用希腊字母 π 表示圆周率，取自希腊语 περίμετρος（perimetron，「周长」）的首字母。但真正让它流行起来的，是欧拉在 1737 年的广泛采用。此前，圆周率被写作 355/113 或冗长的文字描述。
π 是第一个「跨界出圈」的数学符号——它出现在电影《少年派的奇幻漂流》的片名中，被注册为美国商标，还有每年 3 月 14 日的「π日」全球庆祝活动！英国数学家 John Wallis 在 1655 年的《无穷算术》中首次使用 ∞。有人认为它来自罗马数字 1000 的变体 CIƆ（在拉丁文中写作 ∞）；也有人说它代表一条莫比乌斯带——没有起点也没有终点。
ℵ₀（阿列夫零）表示「可数无穷」，ℵ₁ 表示更大的无穷——证明了无穷也有大小之分！这是数学史上最颠覆直觉的发现之一。欧拉在 1755 年引入大写希腊字母 Σ（sigma）表示求和，取自希腊语 σίνος（syn，「合计」）的首字母。与积分号 ∫ 的区别是：∑ 对离散项求和，∫ 对连续项积分。
∏（大写 Pi）表示连乘积。如果你把 ∑ 竖过来看，它和 ∫ 的形状惊人地相似——两者本质都是「累加」！法国数学家 Christian Kramp 在 1808 年引入 ! 表示阶乘。例如 5! = 5×4×3×2×1 = 120。此前阶乘被写作 1·2·3·4·5 或用冗长的符号 n! 的前身 |n。
0! = 1），因为「什么都不做」只有一种方式——这和空集的元素数恰好是 1 个（空集本身）有着深层联系。瑞士数学家 Johann Rahn 在 1659 年引入 ∴（所以）。后来又出现了反向的 ∵（因为）。这两个点阵符号完美地用视觉语言表达了逻辑推理的方向——三点朝下是结论在下方，三点朝上是原因在上方。
∴ 在日常聊天中也被用来表示「推理结论」——它已成为网络文化的一部分。有些程序员开玩笑说：「我的代码能编译，∴ 它是对的。」点击任意符号卡片，查看详细含义、用法示例和历史故事。
符号不只是缩写——它们是思维的工具。好的符号能让你「看见」数学结构，让推理变得几乎自动。
等号不只是「答案」——它是等价关系的声明。当你写 3+5 = 8，你在说「左边和右边是同一个东西」。代数中所有变形（移项、合并同类项）都是在保持等号成立的前提下操作。
等号的三大性质：
① 自反性：a = a
② 对称性：a = b 则 b = a
③ 传递性：a = b 且 b = c 则 a = c
为什么用 x 表示未知数？传说：阿拉伯数学家花拉子米用 shay（「东西」）表示未知量。传入西班牙后译为 xay，又被法国人简写为 x。另一个说法：印刷工人排字时 x 用得最少（接近词尾字母），所以拿来凑数。
笛卡儿在 1637 年确立了用字母表后段（x, y, z）表示未知数、前段（a, b, c）表示已知数的惯例，沿用至今。
∫ 底部的 a 和顶部的 b 表示积分区间，末尾的 dx 表示对哪个变量积分。例如 ∫₀¹ x² dx = 1/3 表示在 0 到 1 之间对 x² 累加无穷多个无穷小。
没有 dx 就不知道积什么——就像「跑步」不知道跑向哪里。dx 是积分号的方向盘。
∑ 下方写起始值，上方写终止值，右边写通项。例如 ∑(i=1→n) i = n(n+1)/2 表示 1+2+...+n。
它和积分号的对应关系：∑（离散）↔ ∫（连续）
下标 i ↔ 微分 dx
范围 [1,n] ↔ 区间 [a,b]
∈ 表示元素与集合的隶属关系，由意大利数学家 Peano 在 1895 年引入，来自希腊语 ἐστί（esti，「是」）的首字母 ε 的变形。x ∈ A 读作「x 属于 A」，是集合论中最基本的原子命题。整个现代数学几乎都建立在 ∈ 之上——ZFC 公理系统的第一条就是关于 ∈ 的。
∀（全称量词，forall）来自德语 Alle（所有）的倒写 A；∃（存在量词）来自英语 Exist 的倒写 E。由 Gerhard Gentzen 在 1934 年引入。∀x P(x) = 「对每个 x，P(x) 成立」∃x P(x) = 「存在某个 x 使 P(x) 成立」
它们互为否定：¬∀x P(x) ≡ ∃x ¬P(x)
A ⇒ B（A 推出 B）是逻辑推理的核心。A ⇔ B（A 与 B 等价）表示互相推出。
注意 ⇒ 不具有对称性：下雨 ⇒ 地湿，但地湿 ⇏ 下雨（可能是洒水车经过）。这正是充分条件与必要条件的区别：
• A ⇒ B：A 是 B 的充分条件
• B ⇒ A：A 是 B 的必要条件
• A ⇔ B：A 是 B 的充要条件
|x| 表示 x 到 0 的距离，由 Weierstrass 在 1841 年引入。它总是非负的：|-3| = 3。
方括号 [a, b] 表示闭区间（含端点），圆括号 (a, b) 表示开区间（不含端点），混合 [a, b) 表示半开半闭。
记忆口诀：方是闭、圆是开——方括号像墙挡住端点，圆括号像门敞开端点。
符号世界远比你想象的更深邃——以下是那些容易被忽略、但极有趣的知识点。
分数线 — 是最古老的数学符号之一，由阿拉伯数学家 al-Hassar 在 12 世纪发明。它同时是「除号」和「比号」的祖先——除号 ÷ 就是把分数线上下各放一个点！
在高等数学中，÷ 几乎完全消失——它只在小学算术中使用。高等数学中除法一律用分数 a/b 或 a·b⁻¹ 表示。原因：÷ 在复杂表达式中容易混淆运算顺序，而分数线天然包含「括号」功能。
历史上曾有多种符号竞争除法的位置：分数线、冒号 :、÷、/。最终分数线和 / 胜出——它们在计算机输入中更方便，在印刷排版中也更清晰。
Unicode 标准为数学符号专门分配了约 2500 个码位（U+2200–U+22FF）。其中最常用的不到 100 个，其余用于专业数学、物理、逻辑学。有趣的是，∀ 的码位是 U+2200——它是「数学符号区」的第一个符号。
康托尔用希伯来字母 ℵ（aleph）表示无穷的「大小」：ℵ₀ 是整数集的大小，ℵ₁ 是实数集的大小。ℵ₀ < ℵ₁ 意味着有些无穷比另一些无穷更大——这是数学史上最烧脑的结论之一，至今仍有未解之谜（连续统假设）。
e^(iπ) + 1 = 0 被誉为「数学最美公式」——它一次性串联了五大基本常数：自然底数 e、虚数单位 i、圆周率 π、乘法单位 1、加法单位 0，以及三种基本运算：加、乘、幂。这全靠符号系统才能精炼成一行。
Donald Knuth 在 1978 年发明 TeX 排版系统，解决了数学符号在计算机中的输入与排版问题。LaTeX 用 \sum、\int、\frac{}{} 等命令输入符号，至今是学术论文的标准工具。学好 LaTeX = 学好数学排版。
认知科学研究表明：好的数学符号能卸载认知负担——把推理步骤外化到纸上，释放工作记忆。没有积分号 ∫，微积分的推理将极其吃力。莱布尼茨的直觉是对的：好符号等于半个大脑。
中国古代数学长期用算筹（竹棍）表示数字和运算，不用符号。《九章算术》中方程用文字描述，如「天元术」用「天、地、人、物」表示未知数。直到清代李善兰翻译西方数学，才引入 + − × ÷ = 等符号。
数学史上很多符号经过激烈竞争才胜出：乘法有 ×、·、* 三个候选；除法有 ÷、:、/ 三个候选；不等号有 ≠ 和 ~= 两个候选。最终胜出的往往不是最好的，而是最方便印刷的。
≤ 和 ≥ 由法国数学家 Pierre Bouguer 在 1734 年发明。在它出现之前，不等关系用文字「小于」「大于」或缩写 lt gt 表示。有些数学家甚至用 ⊰ 和 ⊱ 表示——显然太复杂了。
并非所有数学符号都已标准化。不同教材中：自然数集 有时含 0 有时不含；log 默认底数有时是 10 有时是 e；arctan⁻¹ 有人理解为反函数有人理解为倒数。这些歧义至今仍让学生头疼——数学并非完美无瑕。