关系符号

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

等于关系

符号	快捷键	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 键循环切换。而在 LaTeX 中，每个关系符号都需要记忆并手动输入完全不同的宏命令。

例如，通过 = Tab 可以循环切换等于关系。在 LaTeX 中，你需要分别输入以下命令：

= \quad \equiv \quad \doteq \quad \triangleq

对应的渲染效果如下：

$$= \quad \equiv \quad \doteq \quad \triangleq$$

对于大小关系，Liii STEM 支持通过 < = Tab 自动识别为 $\leq$。在 LaTeX 中，则必须显式声明：

\leq \quad \text{或} \quad \le

对应的渲染效果如下：

$$\leq \quad \text{或} \quad \le$$

对于近似关系，Liii STEM 允许使用 ~ 循环切换各种近似符号。而在 LaTeX 中则需要分别记忆并输入：

\sim \quad \approx \quad \simeq \quad \cong

对应的渲染效果如下：

$$\sim \quad \approx \quad \simeq \quad \cong$$

此外，Liii STEM 在不同上下文（如集合语境和普通语境）中对 < Tab 等快捷键有智能的语义识别，而 LaTeX 中则必须手动区分：

\in \quad \text{与} \quad \prec

对应的渲染效果如下：

$$\in \quad \text{与} \quad \prec$$

如果您已经有现成的 $\LaTeX$ 代码，也可以直接使用魔法粘贴到 Liii STEM 中进行转换。