KaTex是WP Githuber MD Hyplusified默认的LaTex解析模组。本文为KaTex科学公式语法简易教程，供日常撰文学习，同时作为本站科学符号规范。此外，本文还记录了部分KaTex暂不支持的MathJax或通用的LaTex语法。
KaTex官网：katex.org
GitHub：github.com/KaTeX/KaTeX
Hyplus目录
1 文字设置
一切公式块均需使用\begin{aligned}、\end{aligned}包裹。
1.1 颜色
Colors
| 名称 | 可选颜色 | 语法示例 | 效果 | 备注 |
|---|---|---|---|---|
| 颜色 | Blue、Brown、Grey、Green、Orange、Peach、Purple、Red、Tan、Violet、Yellow |
{\color{blue} Blue} |
{\color{Blue} Blue} |
颜色单词大小写任意 |
| RGB颜色 | 0 ~ 255 | {\color[RGB]{10,130,150} Custom} |
KaTex暂不支持 | “RGB”必须大写 |
1.2 字体
Font Styles
| 名称 | 语法示例 | 效果 | 用途 |
|---|---|---|---|
| 常规 | \mathrm{Roman} |
\mathrm{Roman} |
文本、微分号、函数名等 |
| 加粗 | \mathbf{Boldface} |
\mathbf{Boldface} |
向量、矩阵 |
| 斜体 | \mathit{Italics} |
\mathit{Italics} |
变量（默认） |
| 下划线 | \underline{Underline} |
\underline{Underline} |
物理量 |
| 无衬线体 | \mathsf{Sans\ serif} |
\mathsf{Sans\ serif} |
高阶张量 |
| 黑板报体 | \mathbb{Blackboard} |
\mathbb{Blackboard} |
标准数集 |
| 手写体 | \mathcal{Calligraphy} |
\mathcal{Calligraphy} |
集合 |
| 德文尖角体 | \mathfrak{Fraktur} |
\mathfrak{Fraktur} |
代数 |
1.3 字号
Font Sizes
| 名称 | 语法示例 | 效果 |
|---|---|---|
| 极小 | {\tiny tiny} |
{\tiny tiny} |
| 超小 | {\scriptsize scriptsize} |
{\scriptsize scriptsize} |
| 小 | {\small small} |
{\small small} |
| 正常 | {\normalsize normalsize} |
{\normalsize normalsize} |
| 大 | {\large large} |
{\large large} |
| 超大 | {\Large Large} |
{\Large Large} |
| 特大 | {\LARGE LARGE} |
{\LARGE LARGE} |
| 巨大 | {\huge huge} |
{\huge huge} |
| 极大 | {\Huge Huge} |
{\Huge Huge} |
2 基本符号
2.1 运算符
主要为二元运算符（Binary Operations）与部分形似的非二元运算符
| 名称 | 语法示例 | 效果 | 用途 |
|---|---|---|---|
| 加号 | + |
+ |
加法、正号 |
| 减号 | - |
- |
减法、负号 |
| 乘号 | \times |
\times |
叉积 |
| 除号 | \div |
\div |
小学除法 |
| 正负 | \pm |
\pm |
加减号、正负号 |
| 负正 | \mp |
\mp |
减加号、负正号 |
| 左三角 | \triangleleft |
\triangleleft |
左作用 |
| 右三角 | \triangleright |
\triangleright |
右作用 |
| 反斜杠 | \setminus |
\setminus |
集合差集 |
| 点 | \cdot |
\cdot |
点积 |
| 五角星 | \star |
\star |
星积 |
| 小星 | \ast |
\ast |
卷积 |
| 交 | \cup |
\cup |
集合交集 |
| 并 | \cap |
\cap |
集合并集 |
| 方并 | \sqcup |
\sqcup |
同\uplus不交并 |
| 方交 | \sqcap |
\sqcap |
格论交 |
| 不交并 | \uplus |
\uplus |
同\sqcup方并 |
| 或 | \vee |
\vee |
析取 |
| 且 | \wedge |
\wedge |
合取 |
| 空心小圆 | \circ |
\circ |
函数复合 |
| 实心黑点 | \bullet |
\bullet |
同\cdot点积，强调型 |
| 圆圈加 | \oplus |
\oplus |
异或、直积 |
| 圆圈减 | \ominus |
\ominus |
对称差 |
| 圆圈点乘 | \odot |
\odot |
哈达玛积 |
| 圆圈斜杠 | \oslash |
\oslash |
圈除 |
| 圆圈叉乘 | \otimes |
\otimes |
张量积 |
| 空心大圆 | \bigcirc |
\bigcirc |
装饰符 |
| 菱形 | \diamond |
\diamond |
装饰符 |
| 大上三角 | \bigtriangleup |
\bigtriangleup |
差分算子 |
| 大下三角 | \bigtriangledown |
\bigtriangledown |
梯度算子 |
| 小左三角 | \lhd |
\lhd |
正规子群 |
| 小右三角 | \rhd |
\rhd |
右正规子群 |
| 下划左三角 | \unlhd |
\unlhd |
普通子群 |
| 下划右三角 | \unrhd |
\unrhd |
普通右子群 |
| 融合并 | \amalg |
\amalg |
拓扑不交并 |
| 圈杠 | \wr |
\wr |
圈积 |
| 单剑标 | \dagger |
\dagger |
伴随 |
| 双剑标 | \ddagger |
\ddagger |
高阶伴随 |
2.2 关系符
二元关系符（Binary Relations）
| 名称 | 语法示例 | 效果 | 用途 |
|---|---|---|---|
| 小于号 | \lt |
\lt |
小于 |
| 大于号 | \gt |
\gt |
大于 |
| 等号 | = |
= |
等于 |
| 不等于号 | \ne |
\ne |
不等于 |
| 小于等于号 | \le |
\le |
小于等于 |
| 大于等于号 | \ge |
\ge |
大于等于 |
| 恒等号 | \equiv |
\equiv |
恒等于 |
| 远小于号 | \ll |
\ll |
远小于 |
| 远大于号 | \gg |
\gg |
远大于 |
| 点等号 | \doteq |
\doteq |
定义为 |
| 前序号 | \prec |
\prec |
严格前序/小于 |
| 后序号 | \succ |
\succ |
严格后序/大于 |
| 等价符 | \sim |
\sim |
相似、渐进等价 |
| 带线前序号 | \preceq |
\preceq |
非严格偏序小于等于 |
| 带线后序号 | \succeq |
\succeq |
非严格偏序大于等于 |
| 波浪等号 | \simeq |
\simeq |
同构、渐近等价 |
| 双波浪约等号 | \approx |
\approx |
约等于 |
| 子集号 | \subset |
\subset |
真子集 |
| 超集号 | \supset |
\supset |
真超集 |
| 下划子集号 | \subseteq |
\subseteq |
子集 |
| 下划超集号 | \supseteq |
\supseteq |
超集 |
| 方子集号 | \sqsubset |
\sqsubset |
严格方子集 |
| 方超集号 | \sqsupset |
\sqsupset |
严格方超集 |
| 下划方子集号 | \sqsubseteq |
\sqsubseteq |
方子集 |
| 下划方超集号 | \sqsupseteq |
\sqsupseteq |
方超集 |
| 全等号 | \cong |
\cong |
全等 |
| 内连接符 | \Join |
\Join |
数据库自然连接 |
| 领结符 | \bowtie |
\bowtie |
关系代数连接，同\Join |
| 正比符号 | \propto |
\propto |
成正比例 |
| 属于号 | \in |
\in |
属于 |
| 反向属于号 | \ni |
\ni |
包含 |
| 不属于号 | \notin |
\notin |
不属于 |
| 右推号 | \vdash |
\vdash |
逻辑可证、推导 |
| 左推号 | \dashv |
\dashv |
对偶推导、伴随 |
| 双竖推导号 | \models |
\models |
逻辑语义蕴含、满足 |
| 单竖线 | \mid |
\mid |
整除、条件分隔 |
| 双竖线 | \parallel |
\parallel |
平行、独立 |
| 垂直号 | \perp |
\perp |
垂直、正交 |
| 上弯弧 | \smile |
\smile |
半格上积、弱等价 |
| 下弯弧 | \frown |
\frown |
半格下积、对偶 |
| 双波浪渐近号 | \asymp |
\asymp |
渐近同阶、等价无穷大 |
| 冒号 | : |
: |
映射、定义、比例、条件 |
2.3 箭头符号
各种箭头（Arrows）
| 名称 | 语法示例 | 效果 | 用途 |
|---|---|---|---|
| 短左箭头 | \gets |
\gets |
赋值、反向映射 |
| 短右箭头 | \to |
\to |
映射、趋向、蕴含 |
| 长左箭头 | \longleftarrow |
\longleftarrow |
长反向映射 |
| 长右箭头 | \longrightarrow |
\longrightarrow |
长映射、极限趋向 |
| 上箭头 | \uparrow |
\uparrow |
上确界、递增、偏序大于 |
| 下箭头 | \downarrow |
\downarrow |
下确界、递减、偏序小于 |
| 上下双向箭头 | \updownarrow |
\updownarrow |
双向偏序、升降 |
| 左右双向箭头 | \leftrightarrow |
\leftrightarrow |
逻辑等价、双向映射 |
| 粗上箭头 | \Uparrow |
\Uparrow |
广义上确界、逻辑或、高阶偏序 |
| 粗下箭头 | \Downarrow |
\Downarrow |
广义下确界、逻辑与、高阶偏序 |
| 粗上下双向箭头 | \Updownarrow |
\Updownarrow |
双向高阶偏序、等价对偶 |
| 长上下双向箭头 | \longleftrightarrow |
\longleftrightarrow |
长等价、双向映射 |
| 粗左箭头 | \Leftarrow |
\Leftarrow |
反向蕴含、必要条件 |
| 粗长左箭头 | \Longleftarrow |
\Longleftarrow |
长反向蕴含 |
| 粗右箭头 | \Rightarrow |
\Rightarrow |
逻辑蕴含、充分条件 |
| 粗长右箭头 | \Longrightarrow |
\Longrightarrow |
长逻辑蕴含 |
| 粗左右双向箭头 | \Leftrightarrow |
\Leftrightarrow |
逻辑等价、充要条件 |
| 粗长左右双向箭头 | \Longleftrightarrow |
\Longleftrightarrow |
长逻辑等价 |
| 映射箭头 | \mapsto |
\mapsto |
元素级映射 |
| 长映射箭头 | \longmapsto |
\longmapsto |
长元素映射 |
| 东北斜箭头 | \nearrow |
\nearrow |
递增趋向、右上极限 |
| 东南斜箭头 | \searrow |
\searrow |
递减趋向、右下极限 |
| 西南斜箭头 | \swarrow |
\swarrow |
左下趋向 |
| 西北斜箭头 | \nwarrow |
\nwarrow |
左上趋向 |
| 左钩箭头 | \hookleftarrow |
\hookleftarrow |
单射反向嵌入 |
| 右钩箭头 | \hookrightarrow |
\hookrightarrow |
单射、嵌入映射 |
| 双向鱼叉箭头 | \rightleftharpoons |
\rightleftharpoons |
可逆反应、双向推导 |
| 粗长等价箭头 | \iff |
\iff |
长逻辑等价 |
| 左上鱼叉箭头 | \leftharpoonup |
\leftharpoonup |
左单射、部分映射 |
| 右上鱼叉箭头 | \rightharpoonup |
\rightharpoonup |
右单射、嵌入 |
| 左下鱼叉箭头 | \leftharpoondown |
\leftharpoondown |
反向左部分映射 |
| 右下鱼叉箭头 | \rightharpoondown |
\rightharpoondown |
反向右嵌入 |
2.4 其他符号
分数与微分