箭头符号复制：单箭头、双箭头与推导箭头

箭头符号复制之前先分清三类：单线箭头 → 表示趋于和映射，双线箭头 ⇒ 表示推出，双向箭头 ⇔ 表示等价。下表按单箭头、双箭头、长箭头、否定箭头和特殊箭头分组，每个箭头给出码位、LaTeX 命令和它在数学里的含义，箭头列可以直接复制。后半篇讲推导时箭头怎么选、带条件的化学箭头怎么写。

箭头符号分组速查

记命令有个规律：首字母大写的是双线版（\Rightarrow 是 ⇒，\rightarrow 是 →），前面加 long 是加长版，前面加 n 是否定版。三条规律组合起来，比如 \nLeftrightarrow 就是双线、双向、带否定斜线的 ⇎。

推导时用哪个箭头

→ 和 ⇒ 最容易混。→ 说的是「变化的方向」，比如 x → 0 读作 x 趋于 0，f: A → B 表示从 A 到 B 的映射；⇒ 说的是「命题之间的关系」，前一句成立就能得到后一句。判断充分、必要条件时，⇒ 和 ⇏ 常常成对出现：

x>2\Rightarrow x^{2}>4,\qquad x^{2}>4\nRightarrow x>2

x² > 4 推不出 x > 2，反例是 x = −3，所以「x > 2」是「x² > 4」的充分不必要条件。

多行推导里，每一行开头放一个 ⟹ 比 ⇒ 更醒目，两者含义相同，一份材料里选一种用到底。表示「当且仅当」时，同余的定义是一个常见例子：

a\equiv b\pmod{n}\iff n\mid a-b

带条件的箭头与化学箭头

化学方程式里的箭头上下要写反应条件，单个字符做不到，只能写成公式。LaTeX 的 \xrightarrow 会按上下文字的长度自动拉长箭头，方括号里的内容写在箭头下方，花括号里的写在上方：

2\mathrm{KClO_3}\xrightarrow[\Delta]{\mathrm{MnO_2}}2\mathrm{KCl}+3\mathrm{O_2}\uparrow

式末的 ↑ 表示生成气体，↓ 表示生成沉淀，这两个用单箭头字符直接复制即可。可逆反应用 ⇌（\rightleftharpoons），两条半箭头方向相反。

在编辑器里，底部符号面板的「箭头」页签分四组列出了几十个箭头，⇒、⟹、⇏、⇌ 都在里面，点一下插入到光标处。记得命令的话，在可视化模式直接打 \Rightarrow，符号随打随显，按空格结束命令接着写。

复制箭头时容易出的错

• 用 -> 或 => 代替箭头：键盘拼出来的是两个字符，排版后中间有缝，论文和作业里要换成真正的 → 和 ⇒。
• ⟹ 显示成方框：长箭头在 U+27F0 以后的区块，部分中文字体没有字形，把这几个字符的字体换成 Cambria Math 等数学字体即可。
• ⇌ 与 ⇋ 方向弄反：⇌（U+21CC）上面一支朝右，⇋（U+21CB）上面一支朝左，化学可逆反应按惯例用前者。

从网页上复制的箭头粘进文档后变成乱码时，排查步骤见网页公式复制乱码；复制到新材料后要复查哪些地方，见公式复制。

箭头用错，多半出在充分必要条件题的结论里。下次写这类结论，\Rightarrow 与 \nRightarrow 各占一行，双线和否定斜线都看清了再交。

延伸阅读

• 网页公式复制乱码：网页公式复制乱码时先确认内容形态
• 公式复制：公式复制到新材料后如何复查