关系符号

关系符号是数学表达式的核心，用于比较、定义和描述对象之间的关系。不同学科（分析、代数、逻辑）对关系符号的使用有细微差别。

等于关系

符号	快捷键	LaTeX
$=$	=	=
$\neq$	= \	\neq
$\equiv$	= Tab	\equiv
$\doteq$	. =	\doteq
$\triangleq$	@ = Tab	\triangleq

$=$（等于）用于数值相等：$2 + 2 = 4$。

$\equiv$（恒等于/定义为）用于函数恒等或定义：$f(x) \equiv 0$（对所有 $x$ 成立），$e \triangleq \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n$。

$\doteq$（近似等于）用于数值近似：$\pi \doteq 3.14159$。

按 = Tab 循环切换 $=$ → $\equiv$ → $\doteq$ → $\triangleq$。

大小关系

符号	快捷键	LaTeX
$\leq$	< = Tab	\leq
$\geq$	> = Tab	\geq
$\ll$	< <	\ll
$\gg$	> >	\gg

不等式：

$$a \leq x \leq b \quad \text{（} x \text{ 在闭区间 } [a, b] \text{ 内）}$$

远小于/远大于：

$$x \ll 1 \quad \text{（} x \text{ 远小于 1，常用于近似计算）}$$

$$N \gg 1 \quad \text{（} N \text{ 为很大整数）}$$

近似关系

符号	快捷键	LaTeX
$\approx$	~ ~	\approx
$\sim$	~	\sim
$\simeq$	~ -	\simeq
$\cong$	~ =	\cong
$\propto$	@ @ Tab	\propto

$\approx$（约等于）用于数值近似：$\sqrt{2} \approx 1.414$。

$\sim$（渐近于/等价于）用于渐近分析：$f(x) \sim g(x)$ 当 $x \to \infty$。也用于随机变量：$X \sim N(0, 1)$（$X$ 服从标准正态分布）。

$\simeq$（相似于）用于几何相似：$\triangle ABC \simeq \triangle DEF$。

$\cong$（全等于）用于几何全等：$\triangle ABC \cong \triangle DEF$。

$\propto$（正比于）用于物理定律：$F \propto \frac{1}{r^2}$（万有引力定律）。

按 ~ 循环切换 $\sim$ → $\approx$ → $\simeq$ → $\cong$。

序关系

符号	快捷键	LaTeX
$\prec$	< Tab	\prec
$\preceq$	< Tab	\preceq
$\succ$	> Tab	\succ
$\succeq$	> Tab	\succeq

偏序关系：

$$a \preceq b \quad \text{（} a \text{ 小于等于 } b \text{ 在偏序意义下）}$$

多项式次数：

$$\deg(f) \prec \deg(g) \quad \text{（} f \text{ 的次数小于 } g \text{）}$$

注意 Tab 在集合语境下为 $\in$，在一般语境下为 $\prec$，需根据上下文判断。

选读：与 LaTeX 的对比

Liii STEM 中 = Tab 循环切换 $=$ → $\equiv$ → $\doteq$ → $\triangleq$。LaTeX 中必须手动输入不同命令。< = Tab 自动识别为 $\leq$。LaTeX 中必须输入 \leq 或 \le。~ 循环切换 $\sim$ → $\approx$ → $\simeq$ → $\cong$。LaTeX 中需要分别记忆不同命令。< Tab 在集合语境下为 $\in$，在一般语境下为 $\prec$。LaTeX 中必须显式输入 \in 或 \prec。