LaTeX 提供了几乎任何人使用的任何数学或技术符号。例如，如果您在源代码中包含 $\pi$ ，您将得到 pi 符号 π。请参阅 https://ctan.org/pkg/comprehensive 上的“综合 LaTeX 符号列表”包。

以下是常用符号的列表。这绝不是详尽无遗的。每个符号都用一个简短的短语进行描述，其符号类别（决定其周围的间距）在括号中给出。除非另有说明，这些符号的命令只能在数学模式下使用。要重新定义命令以使其可以在任何当前模式下使用，请参阅 \ensuremath 。

∥ 平行（关系）。同义词： \parallel 。

ℵ Aleph，超限基数（普通）。

α 小写希腊字母 alpha（普通）。

⨿ 不相交并集（二元）

∠ 几何角（普通）。类似：小于号 \approx ¶

≈ 几乎等于（关系）。

* 星号运算符，卷积，六点（二进制）。同义词： * ，通常是上标或下标，如克林星。类似： \star ，为五点，有时用作一般二元运算，有时保留用于互相关。

≍ 渐近等价（关系）。

\ 反斜杠（普通）。类似：在数学模式之外设置反斜杠减去 \setminus 和 \textbackslash 。

β 小写希腊字母 beta（普通）。

⋂ 可变大小或 n 元交集（运算符）。类似：二进制交叉点 \cap 。

⚪ 更大的圆（二进制）。类似：功能组成 \circ 。

⋃ 可变大小或 n 元联合（运算符）。类似：二进制联盟 \cup 。

⨀ 可变大小或 n 元圆点运算符（运算符）。

⨁ 可变大小或 n 元带圆圈的加运算符（运算符）。

⨂ 可变大小，或n元，循环次数运算符（operator）。

▽ 可变大小，或 n 元，向下的开放三角形（运算符）。

△ 可变大小，或 n 元，向上的开放三角形（运算符）。

⨆ 可变大小或 n 元平方并集（运算符）。

⨄ 带有加号（运算符）的可变大小或 n 元联合运算符。（请注意，该名称只有一页。）

⋁ 可变大小，或 n 元，逻辑或（运算符）。

⋀ 可变大小或 n 元逻辑与（运算符）。

⊥，向上粘性，底部，部分有序集合的最小元素，或矛盾（普通）。另请参见 \top 。

⋈ 两个关系（关系）的自然连接。

□ 模态运算符为必要性；方形开口盒（普通）。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

• 项目符号（二进制）。类似：乘法点 \cdot 。

∩ 两个集合的交集（二进制）。类似：可变大小运算符 \bigcap 。

⋅ 乘法（二进制）。类似：子弹点 \bullet 。

χ 小写希腊语 chi（普通）。

∘ 函数组合、环运算符（二元）。类似：可变大小运算符 \bigcirc 。

♣ 俱乐部卡套装（普通）。

∁，集合补码，用作上标，如 $S^\complement$ （普通）。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。还使用： $S^{\mathsf{c}}$ 或 $\bar{S}$ 。

≅ 一致（关系）。

∐ 余积（运算符）。

∪ 两个集合的并集（二进制）。类似：可变大小运算符 \bigcup 。

† 匕首关系（二元）。

⊣ 带有垂直、反向十字转门的破折号（关系）。类似：旋转闸门 \vdash 。

‡ 双匕首关系（二元）。

Δ 希腊大写 delta，用于增量（普通）。

δ 希腊语小写 delta（普通）。

◇ 大钻石操作员（普通）。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

⋄ 菱形运算符（二元）。类似：大菱形 \Diamond 、圆子弹 \bullet 。

♢钻石卡套装（普通）。

÷ 除号（二进制）。

≐ 接近极限（关系）。类似：几何上等于 \Doteq 。

↓ 向下箭头，收敛（关系）。类似： \Downarrow 双线向下箭头。

⇓ 双线向下箭头（关系）。类似： \downarrow 单线向下箭头。

ℓ 小写草书字母 l（普通）。

∅ 空集符号（普通）。变体形式是 \varnothing 。

ϵ 小写月形 epsilon（普通）。类似于希腊文字字母。在数学中更广泛使用的是小写字母 epsilon \varepsilon ε。相关：集合隶属关系 \in ε。

等价（关系）。

η 小写希腊字母（普通）。

∃ 存在量词（普通）。

♭ 平音乐（普通）。

∀ 全称量词（普通）。

⌢ 向下弯曲的弧线（普通）。

Г 大写希腊字母（普通）。

γ 小写希腊字母（普通）。

≥ 大于或等于（关系）。这是 \geq 的同义词。

≥ 大于或等于（关系）。这是 \ge 的同义词。

← 被赋予值（关系）。同义词： \leftarrow 。

≫ 远大于（关系）。相似：比 \ll 少很多。

ℏ 超过两个 pi（普通）的普朗克常数。

♡心卡套装（普通）。

↩ 左钩箭头（关系）。

↪ 右钩箭头（关系）。

⟷ 当且仅当（关系）。它是 \Longleftrightarrow ，两侧各有一个 \thickmuskip 。

ℑ 虚部（普通）。请参阅：真实零件 \Re 。

无点我；当您在 i 上添加重音符号时使用（请参阅 Math accents ）。

ε 集合元素（关系）。另请参见：小写月形 epsilon \epsilon ϵ 和小写字母 epsilon \varepsilon 。

无穷大（普通）。

∫ 积分（运算符）。

ι 小写希腊字母（普通）。

⨝ 压缩领结符号（关系）。在 Plain TeX 中不可用。

无点j；当您在 aj 上添加重音符号时使用（请参阅 Math accents ）。

κ 小写希腊字母（普通）。

Λ 大写希腊字母（普通）。

λ 小写希腊字母（普通）。

∧ 逻辑与（二进制）。同义词： \wedge 。另请参见逻辑或 \lor 。

⟨ 左角或顺序括号（开口）。类似：小于 \lbrace ¶

{ 左花括号（左）。同义词： \{ 。匹配 \rbrace 。

[ 左方括号（左方括号）。同义词： [ 。匹配 \rbrack 。

⌈ 左天花板支架，类似于方括号，但底部被削掉（开口）。匹配 \rceil 。

≤ 小于或等于（关系）。这是 \leq 的同义词。

⇝ 波浪形右箭头（关系）。要在数学模式之外获取此符号，您可以将 \newcommand*{\Leadsto}{\ensuremath{\leadsto}} 放入前导码中，然后使用 \Leadsto 代替。

⇐ 由双线左箭头（关系）暗示。类似：单线左箭头 \leftarrow 。

← 单线左箭头（关系）。同义词： \gets 。类似：双线左箭头 \Leftarrow 。

↽ 单线左鱼叉，倒钩在条下（关系）。

↼ 单线左鱼叉，倒钩在横杆上（关系）。

⇔ 双蕴含；双线双头箭头（关系）。类似：单线双头箭头 \leftrightarrow 。

↔ 单线双头箭头（关系）。类似：双线双头箭头 \Leftrightarrow 。

≤ 小于或等于（关系）。这是 \le 的同义词。

⌊ 左地板支架（开口）。匹配： \floor 。

◁ 箭头，即三角形，指向左侧（二进制）。对于普通子组符号，您应该加载 amssymb 并使用 \vartriangleleft （这是一种关系，因此可以提供更好的间距）。

≪ 远小于（关系）。相似：比 \gg 大很多。

Ø 逻辑否定（普通）。同义词： \neg 。

⟵ 长单线左箭头（关系）。类似：长双线左箭头 \Longleftarrow 。

⟷ 长单线双头箭头（关系）。类似：长双线双头箭头 \Longleftrightarrow 。

⟼ 以竖线（关系）开始的长单线左箭头。类似：较短版本 \mapsto 。

⟶ 长单线右箭头（关系）。类似：长双线右箭头 \Longrightarrow 。

∨ 逻辑或（二进制）。同义词： \vee 。另请参见逻辑和 \land 。

↦ 以竖线（关系）开始的单线左箭头。类似：加长版 \longmapsto 。

℧ 电导，半圆旋转大写欧米茄（普通）。

∣ 单线竖线（关系）。 \mid 的典型用途是用于一组 \{\, x \mid x\geq 5 \,\} 。

类似： \vert 和 | 产生相同的单线竖条符号，但没有任何间距（它们属于普通类），您不应将它们用作关系，而只能用作序数，即脚注符号。有关绝对值，请参阅 \vert 的条目，有关范数的信息，请参阅 \Vert 的条目。

⊨ 需要或满足；双十字转门，短双破折号（关系）。类似：长双划线 \vDash 。

∓ 减号或加号（关系）。

μ 小写希腊字母（普通）。

∇ 汉密尔顿的 del 或微分运算符（普通）。

♮ 自然记谱法（普通）。

≠ 不等于（关系）。同义词： \neq 。

↗ 东北箭头（关系）。

Ø 逻辑否定（普通）。同义词： \lnot 。有时也用于否定： \sim 。

≠ 不等于（关系）。同义词： \ne 。

∋ 反映隶属度 epsilon；有成员（关系）。同义词： \owns 。类似：是 \in 的成员。

长斜线或斜线，用于覆盖后面的运算符（关系）。

许多不需要 \not 的否定运算符可用，特别是使用 amssymb 封装时。例如， \notin 在印刷上优于 \not\in 。

∉ 不是（关系）的元素。类似：不是 \nsubseteq 的子集。

ν 小写希腊字母（普通）。

↖ 西北箭头（关系）。

⊙ 圆内的点（二进制）。类似：可变大小运算符 \bigodot 。

∮ 轮廓积分，圆在中间的积分（算子）。

Ω 大写希腊字母（普通）。

ω 小写希腊字母（普通）。

⊖ 圆圈内的减号或破折号（二进制）。

⊕ 圆圈内的加号（二进制）。类似：可变大小运算符 \bigoplus 。

⊘ 圆内的斜线（二进制）。

⊗ 圆圈内的时间符号或十字（二进制​​）。类似：可变大小运算符 \bigotimes 。

∋ 反映隶属度 epsilon；有成员（关系）。同义词： \ni 。类似：是 \in 的成员。

∥ 平行（关系）。同义词： \| 。

∂ 偏微分（普通）。

⟂ 垂直（关系）。类似： \bot 使用相同的字形，但间距不同，因为它属于普通类。

Φ 大写希腊字母（普通）。

phi 小写希腊字母（普通）。其变体形式为 \varphi φ。

Π 大写希腊字母（普通）。

π 小写希腊字母（普通）。其变体形式为 \varpi ϖ。

± 加或减（二进制）。

≺ 位于（关系）之前。类似：小于 \preceq ¶

⪯ 之前或等于（关系）。类似：小于或等于 \leq 。

' 时间表达式中的素数或分钟（普通）。通常用作上标： $f^\prime$ ； $f^\prime$ 和 $f'$ 产生相同的结果。第二种方法的优点是 $f'''$ 生成所需的符号，即与 $f^{\prime\prime\prime}$ 相同的结果，但使用的打字量相当少。您只能在数学模式下使用 \prime 。在文本模式下使用正确的单引号 ' 会产生不同的字符（撇号）。

∏ 产品（运营商）。

∝ 与（关系）成正比

Ψ 大写希腊字母（普通）。

ψ 小写希腊字母（普通）。

⟩ 直角或顺序括号（闭合）。相似：大于 > 。匹配： \langle 。

} 右花括号（结束）。同义词： \} 。匹配 \lbrace 。

] 右方括号（结束）。同义词： ] 。匹配 \lbrack 。

⌉ 右天花板支架（关闭）。匹配 \lceil 。

ℜ 实部，实数，草书大写R（普通）。相关：双线，或黑板粗体，R \mathbb{R} ；要访问它，请加载 amsfonts 包。

↾，函数（关系）的限制。同义词： \upharpoonright 。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

⦰、逆空集符号（普通）。相关： \varnothing 。在纯 TeX 中不可用。在 LaTeX 中，您需要加载stixpackage.

⌋ 右地板支架，顶部被切除（闭合）的右方支架。匹配 \lfloor 。

◁ 箭头，即三角形，指向右侧（二进制）。对于普通子组符号，您应该加载 amssymb 并使用 \vartriangleright （这是一种关系，因此可以提供更好的间距）。

ρ 小写希腊字母（普通）。其变体形式为 \varrho ϱ。

⇒ 表示向右的双线箭头（关系）。类似：右单线箭头 \rightarrow 。

→ 向右单线箭头（关系）。同义词： \to 。类似：右双线箭头 \Rightarrow 。

⇁ 向右指向的鱼叉，倒钩位于线下方（关系）。

⇀ 向右指向的鱼叉，倒钩位于线上方（关系）。

⇌ 右鱼叉在上，左鱼叉在下（关系）。

↘ 指向东南的箭头（关系）。

⧵ 设置差异、反斜线或反斜杠，如 \（二进制）。类似：反斜杠 \backslash 以及数学模式之外的 \textbackslash 。

♯ 音乐尖锐（普通）。

Σ 大写希腊字母（普通）。

σ 小写希腊字母（普通）。其变体形式为 \varsigma ς。

∼ 类似，在关系（关系）中。

≃ 相似或等于，在关系（关系）中。

∫ 显示（操作器）中不会变为更大尺寸的积分符号。

⌣ 向上弯曲的弧线，微笑（普通）。

♠ 黑桃牌套装（普通）。

⊓ 方形交叉符号（二进制）。类似：交叉口 cap 。

⊔ 平方联合符号（二进制）。类似：联盟 cup 。相关：可变大小运算符 \bigsqcup 。

⊏，平方子集符号（关系）。类似：子集 \subset 。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

⊑ 平方子集或等号（二进制）。类似：子集或等于 \subseteq 。

⊐，平方超集符号（关系）。类似：超集 \supset 。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

⊒ 平方超集或等号（二进制）。类似：超集或等于 \supseteq 。

⋆ 五角星，有时用作一般二元运算，但有时保留用于互相关（二元）。类似：同义词星号 * 和 \ast ，它们是六角的，并且更经常作为上标或下标出现，就像克林星一样。

⊂ 子集（有时，隐含于）（关系）。

⊆ 子集或等于（关系）。

≻ 之后，成功（关系）。类似：小于 > 。

⪰ 成功或等于（关系）。类似：小于或等于 \leq 。

Σ 求和（运算符）。类似：希腊大写西格玛 \Sigma 。

⊃ 超集（关系）。

ns 超集或等于（关系）。

√ 部首符号（普通）。 LaTeX 命令 \sqrt{...} 排版参数的平方根，并带有延伸以覆盖参数的条。

↙ 西南指向的箭头（关系）。

τ 小写希腊字母（普通）。

θ 小写希腊字母（普通）。其变体形式为 \vartheta ϑ。

× 小学乘号（二进制）。另请参见 \cdot 。

→ 向右单线箭头（关系）。同义词： \rightarrow 。

⊤ 偏序集合的顶部、最大元素（普通）。另请参见 \bot 。

△ 三角形（普通）。

◁ 未填充的三角形指向左侧（二进制）。类似： \lhd 。对于普通子组符号，您应该加载 amssymb 并使用 \vartriangleleft （这是一种关系，因此可以提供更好的间距）。

▷ 指向右侧的未填充三角形（二进制）。对于普通子组符号，您应该加载 amssymb 并使用 \vartriangleright （这是一种关系，因此可以提供更好的间距）。

⊴ 向左无填充下划线箭头，即三角形，下有一条线（二进制）。对于普通子组符号，加载 amssymb 并使用 \vartrianglelefteq （这是一种关系，因此可以提供更好的间距）。

⊵ 指向右侧的未填充下划线箭头，即三角形，下有一条线（二进制）。对于普通子组符号，加载 amssymb 并使用 \vartrianglerighteq （这是一种关系，因此可以提供更好的间距）。

⇑ 双线向上箭头（关系）。类似：单线向上箭头 \uparrow 。

↑ 单线向上箭头，发散（关系）。类似：双线向上箭头 \Uparrow 。

⇕ 双线向上和向下箭头（关系）。类似：单线向上和向下箭头 \updownarrow 。

↕ 单线向上和向下箭头（关系）。类似：双线向上和向下箭头 \Updownarrow 。

↾，向上鱼叉，右侧有倒钩（关系）。同义词： \restriction 。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

⊎ 多重集并集，中间有一个加号的并集符号（二进制）。类似：联盟 \cup 。相关：可变大小运算符 \biguplus 。

Y 大写希腊字母（普通）。

υ 小写希腊字母（普通）。

ε 小写字母 epsilon（普通）。这在数学中比不变的月骨 epsilon 形式 \epsilon ϵ 更广泛地使用。相关：设置会员 \in 。

∅，空集符号。类似： \emptyset 。相关： \revemptyset 。在纯 TeX 中不可用。在 LaTeX 中，您需要加载 amssymb 包。

φ 小写希腊字母的变体（普通）。非变体形式为 \phi Φ。

ϖ 小写希腊字母的变体（普通）。非变体形式是 \pi π。

ϱ 小写希腊字母的变体（普通）。非变体形式是 \rho ρ。

ς 小写希腊字母的变体（普通）。非变体形式是 \sigma σ。

ϑ 小写希腊字母的变体（普通）。非变体形式是 \theta θ。

⊢ 可证明；十字转门、垂直和破折号（关系）。类似：十字转门旋转半圈 \dashv 。

∨ 逻辑或；向下的 V 形（二元）。相关：逻辑和 \wedge 。类似：可变大小运算符 \bigvee 。

‖ 垂直双杆（普通）。请参阅 Delimiters ，了解如何使用 mathtools 包创建灵活大小的范数符号。

| 单线竖条（普通）。对于“这样”，如集合的定义，请使用 \mid ，因为它是一种关系。请参阅 Delimiters ，了解如何使用 mathtools 包创建灵活大小的绝对值符号。

∧ 逻辑与（二进制）。同义词： \land 。另请参见逻辑或 \vee 。类似：可变大小运算符 \bigwedge 。

℘ Weierstrass p（普通）。

≀ 花环产品（二进制）。

Ξ 大写希腊字母（普通）。

▪ 小写希腊字母（普通）。

❖ 小写希腊字母（普通）。

以下符号最常在纯文本中使用，但 LaTeX 提供了在数学文本中使用的版本。

数学模式下的美元符号：$。

数学模式下的段落符号 (pilcrow)，¶。

数学模式中的部分符号 §.

数学模式下的英镑符号：£。

数学模式下划线：_。

© 2007–2018 Karl BerryPublic Domain Software http://latexref.xyz/Math-symbols.html