Microsoft (Word、Excel 和 PowerPoint) 的 365 个应用程序可以在 LaTeX 数学表示法和 Office 数学标记语言 (OMML) 之间进行转换。 本文档介绍在将 LaTeX 导入 到 OMML () 并将 (OMML 导出 到 LaTeX) 期间支持的 LaTeX 命令和符号。
导入 (LaTeX → Office 数学)
在数学区域中键入或粘贴 LaTeX 并转换为 Office 数学时，可识别以下命令。
LaTeX 分隔符
将文本粘贴到 Microsoft 365 应用中时，仅当文本包含在以下分隔符对之一中时，才会将其识别为 LaTeX：
| 分隔符样式 | 示例 |
|---|---|
$...$ |
内联数学 |
$$...$$ |
显示数学 |
\(...\) |
内联数学 (LaTeX2e) |
\[...\] |
显示数学 (LaTeX2e) |
\begin{environment}...\end{environment} |
内联或显示数学，具体取决于环境 |
使用“插入公式”、“转换为专业格式”或“LaTeX 到数学”时，LaTeX 分隔符不是必需的，但在指定时会进行处理。
分数和二项式
| 命令 | 说明 | 包 |
|---|---|---|
\frac{num}{den} |
Standard分数 | 乳胶 |
\dfrac{num}{den} |
显示样式分数 | amsmath |
\tfrac{num}{den} |
文本样式分数 | amsmath |
\cfrac{num}{den} |
连续分数 | amsmath |
\cfrac[l]{num}{den} |
左对齐的连续分数 | amsmath |
\cfrac[r]{num}{den} |
右对齐的连续分数 | amsmath |
\ifrac{num}{den} |
内联 (倾斜) 分数 | — |
\binom{n}{k} |
二项式系数 | amsmath |
\dbinom{n}{k} |
显示样式二项式系数 | amsmath |
\tbinom{n}{k} |
文本样式二项式系数 | amsmath |
\genfrac{left}{right}{thick}{style}{num}{den} |
通用分数 | amsmath |
num \over den |
TeX 样式分数 | TeX |
num \atop den |
堆积 (无条形) | TeX |
{n \choose k} |
TeX 样式二项式系数 | TeX |
{n \brace k} |
斯特林子集编号 (大括号分隔符) | TeX |
{n \brack k} |
斯特林循环编号 (方括号分隔符) | TeX |
根
| 命令 | 说明 | 包 |
|---|---|---|
\sqrt{expr} |
平方根 | 乳胶 |
\sqrt[n]{expr} |
n-th root | 乳胶 |
\root n \of{expr} |
第 n 个根 (TeX 基元) | TeX |
上标、下标和预脚本
| 语法 | 说明 |
|---|---|
x^{a} |
Superscript |
x_{b} |
Subscript |
x_{b}^{a} |
组合的下标/上标 |
_{a}^{b}x |
前脚本 (左侧子/超级) |
分隔符和括号
分隔符对
| 命令 | 说明 |
|---|---|
\left( ... \right) |
自动调整括号大小 |
\left[ ... \right] |
自动调整方括号大小 |
\left\{ ... \right\} 或 \left\lbrace ... \right\rbrace |
自动调整大括号 |
\left\langle ... \right\rangle |
自动调整尖括号大小 |
\left\lfloor ... \right\rfloor |
自动调整底板大小 |
\left\lceil ... \right\rceil |
自动调整大小上限 |
\left\lvert ... \right\rvert |
自动调整单条条的大小 |
\left\lVert ... \right\rVert |
自动调整双条形图的大小 |
\left. ... \right) |
不可见的左分隔符 (. = 不可见) |
\middle\| |
中的中间分隔符 \left...\right |
\left...\right 分隔符始终创建分隔符节点。 缺失 \right 会生成一个具有不可见的更近的分隔符。
使用推理分析来匹配不\left...\right带的空括号对(expr)和[expr]分隔符命令对：转换器保存其位置，尝试查找更近的匹配项，如果找不到匹配项，则回退 (以纯字符形式发出打开器，而不是) 。 对以下分隔符对执行推理分析：
| 器 | 近 | 注释 |
|---|---|---|
( |
) |
裸括号 |
[ |
] |
裸方括号 |
\| |
\| |
双垂直条 |
\langle |
\rangle |
尖括号 |
\lceil |
\rceil |
Ceiling |
\lfloor |
\rfloor |
Floor |
\lvert |
\rvert |
单条 |
\lVert |
\rVert |
双条 |
\lbrace |
\rbrace |
大括号 |
\lbrack |
\rbrack |
方括号 |
\{ |
\} |
大括号 (简写) |
双撞 (白色方) 方括号
以下模式都会生成 ⟦ 和 ⟧ (U+27E6、U+27E7) ：
-
[\![和]\!]— 带括号标记的负薄空间技巧 -
\lbrack\!\lbrack和\rbrack\!\rbrack— 命令窗体 -
\left[\!\left[和\right]\!\right]— 与\left/\right - 带或不带的任何
[/\lbrack混合物\left/\right
口音
| 命令 | 符号 | Unicode |
|---|---|---|
\hat{x} |
x | U+02C6 |
\widehat{x} |
x | U+0302 |
\check{x} |
x̌ | U+030C |
\tilde{x} |
x̃ | U+02DC |
\widetilde{x} |
x̃ | U+0303 |
\acute{x} |
x' | U+0301 |
\grave{x} |
x̀ | U+0300 |
\dot{x} |
ẋ | U+0307 |
\ddot{x} |
ẍ | U+0308 |
\dddot{x} |
U+20DB | |
\ddddot{x} |
U+20DC | |
\breve{x} |
x̆ | U+0306 |
\bar{x} |
x- | U+0305 |
\vec{x} |
U+20D7 | |
\mathring{x} |
x̊ | U+030A |
在构造上和下构造
| 命令 | 说明 | 包 |
|---|---|---|
\overline{x} |
) 上方的上行 (条 | 乳胶 |
\underline{x} |
) 下方的下划线 (条 | 乳胶 |
\overbrace{x} |
上方水平大括号 | 乳胶 |
\underbrace{x} |
下方的水平大括号 | 乳胶 |
\overrightarrow{x} |
上方的右箭头 | 乳胶 |
\overleftarrow{x} |
上方的左箭头 | 乳胶 |
\overleftrightarrow{x} |
上方的左-右箭头 | amsmath |
\underrightarrow{x} |
下方的向右箭头 | amsmath |
\underleftarrow{x} |
下方的向左键 | amsmath |
\underleftrightarrow{x} |
下方的向左-右箭头 | amsmath |
\xrightarrow[below]{above} |
可扩展的向右键 | amsmath |
\xleftarrow[below]{above} |
可扩展向左键 | amsmath |
溢出和欠集
| 命令 | 说明 | 包 |
|---|---|---|
\overset{top}{base} |
将 顶部 置于 底之上 | amsmath |
\underset{bot}{base} |
将机器人置于基础下方 | amsmath |
\stackrel{top}{base} |
与相同 \overset |
乳胶 |
\buildrel top \over base |
TeX 样式的溢出 | TeX |
N-ary (大型) 运算符
以下所有内容都接受可选的 \limits 修饰 \nolimits 符，以及边界的可选下标/上标。
| 命令 | 符号 | Unicode | 包 |
|---|---|---|---|
\sum |
∑ | U+2211 | 乳胶 |
\prod |
∏ | U+220F | 乳胶 |
\coprod |
∐ | U+2210 | 乳胶 |
\int |
∫ | U+222B | 乳胶 |
\iint |
∬ | U+222C | amsmath |
\iiint |
∭ | U+222D | amsmath |
\iiiint |
⨌ | U+2A0C | amsmath |
\idotsint |
∫⋯∫ | U+222B | amsmath |
\oint |
∮ | U+222E | 乳胶 |
\oiint |
∯ | U+222F | esint |
\oiiint |
∰ | U+2230 | esint |
\pvint |
⨍ | U+2A0D | — |
\bigcap |
⋂ | U+22C2 | 乳胶 |
\bigcup |
⋃ | U+22C3 | 乳胶 |
\bigvee |
⋁ | U+22C1 | 乳胶 |
\bigwedge |
⋀ | U+22C0 | 乳胶 |
\bigoplus |
⨁ | U+2A01 | 乳胶 |
\bigotimes |
⨂ | U+2A02 | 乳胶 |
\bigodot |
⨀ | U+2A00 | 乳胶 |
\biguplus |
⨄ | U+2A04 | 乳胶 |
\bigsqcup |
⨆ | U+2A06 | 乳胶 |
\bigsqcap |
⨅ | U+2A05 | — |
Standard函数名称
这些自动设置为直立 (罗马) 类型：
\arccos, \arcsin, \arctan, \arg, \cos, \cosh, \cot, \coth, \csc, \deg, \det, \dim, \exp, \gcd, \hom, \ker, \lg, \ln, \log, \Pr, \sec, \sin, \sinh, \tan, \tanh
\operatorname{name} 生成罗马类型的自定义运算符名称。
限制样式函数
它们将下标/上标作为显示模式下的限制：
\lim, \liminf, \limsup, \sup, \inf, \min, \max, \injlim, \projlim, \varinjlim, \varprojlim, \varliminf, \varlimsup
修饰 \limits 符为 ： \lim\limits_{x \to 0}。
在\limsup\liminf导出过程中自动重新构造 (lim + sup) 作为单独运行 (的复合名称。
子堆栈
| 命令 | 说明 | 包 |
|---|---|---|
\substack{a \\ b \\ c} |
n-ary 运算符的堆积限制 | amsmath |
模块化算术
| 命令 | 说明 | 包 |
|---|---|---|
\bmod |
二进制 mod 运算符 (modb) | 乳胶 |
\pmod{n} |
带圆括号的 mod ( ( mod n) ) | 乳胶 |
\mod{n} |
在 mod n) (带间距的 mod | amsmath |
Font 命令
数学模式字体
| 命令 | 样式 | 包 |
|---|---|---|
\mathrm{x} |
罗马 (直立) | 乳胶 |
\mathbf{x} |
粗体 | 乳胶 |
\mathit{x} |
斜体 | 乳胶 |
\mathsf{x} |
Sans-serif | 乳胶 |
\mathtt{x} |
Monospace | 乳胶 |
\mathbb{x} 或 \Bbb{x} |
双击 (黑板粗体) | amssymb |
\mathcal{x} 或 \mathscr{x} |
脚本/书法 | LaTeX /mathrsfs |
\mathfrak{x} |
Fraktur | amssymb |
\boldsymbol{x} 或 \bm{x} |
加粗倾斜 | amsmath / bm |
文本模式字体
| 命令 | 样式 | 包 |
|---|---|---|
\text{...} |
普通文本 | amsmath |
\textrm{...} 或 \textnormal{...} |
罗马文本 | 乳胶 |
\textbf{...} |
加粗文本 | 乳胶 |
\textit{...} 或 \emph{...} |
斜体文本 | 乳胶 |
\textsf{...} |
Sans-serif 文本 | 乳胶 |
\texttt{...} |
Monospace 文本 | 乳胶 |
\mbox{...} 或 \hbox{...} |
文本框 | LaTeX /TeX |
在 中 \text{...}， $...$ 切换 \(...\) 回数学模式。
声明样式字体
| 命令 | 说明 |
|---|---|
\rm |
在当前组中切换到罗马 |
\bf |
在当前组中切换到粗体 |
\it |
在当前组中切换到斜体 |
\cal |
切换到当前组中的脚本/书法 |
\frak |
切换到当前组中的 Fraktur |
\sf |
在当前组中切换到 sans-serif |
\tt |
切换到当前组中的 monospace |
颜色
| 命令 | 说明 | 包 |
|---|---|---|
\color{name}{expr} |
按名称设置颜色 | xcolor |
\textcolor{name}{expr} |
按名称设置颜色 | xcolor |
\color{#RRGGBB}{expr} |
按十六进制设置颜色 | xcolor |
识别的颜色名称：black、、blue、、cyanbrowngreylimegraygreendarkgraylightgraymagenta、navyolivepinkorangeredmaroonpurple、teal、 。 yellowvioletwhite
装箱和幻像
| 命令 | 说明 | 包 |
|---|---|---|
\boxed{expr} |
数学模式) 表达式 (框 | amsmath |
\cancel{expr} |
从左下到右) (对角线 | cancel |
\bcancel{expr} |
从上到右 (后对角线) | cancel |
\xcancel{expr} |
X 形删除线 (两个对角线) | cancel |
\fbox{text}, \framebox{text} |
文本周围的框 | 乳胶 |
\phantom{expr} |
宽度和高度不可见 | 乳胶 |
\hphantom{expr} |
仅宽度不可见 | amsmath |
\vphantom{expr} |
仅高度不可见 | amsmath |
否定式
| 命令 | 说明 |
|---|---|
\not= |
生成≠ (U+2260) |
\not\in |
生成∉ (U+2209) |
\not\subset |
生成 ⊄ (U+2284) |
\not 应用于任何受支持的关系都会生成相应的求反 Unicode 字符。 有关支持否定的完整列表，请参阅下面的否定表。 如果没有专用求反代码点，则会应用一个组合的长实线覆盖 (U+0338) 重音。
环境
矩阵环境
| 环境 | 分隔符 | 包 |
|---|---|---|
\begin{matrix} |
无 | amsmath |
\begin{pmatrix} |
( ) | amsmath |
\begin{bmatrix} |
[ ] | amsmath |
\begin{Bmatrix} |
{ } | amsmath |
\begin{vmatrix} |
| | | amsmath |
\begin{Vmatrix} |
‖ ‖ | amsmath |
\begin{smallmatrix} |
无 (小) | amsmath |
\begin{array}{cols} |
无，带有列规格 | 乳胶 |
用作 & 列分隔符和 \\ 行分隔符。
公式数组和对齐方式
| 环境 | 说明 | 包 |
|---|---|---|
\begin{cases} |
左大括号事例分析 | amsmath |
\begin{rcases} |
右大括号事例分析 | mathtools |
\begin{align} / \begin{align*} |
对齐的公式 | amsmath |
\begin{aligned} |
数学中的对齐块 | amsmath |
\begin{gathered} |
数学中的居中块 | amsmath |
\begin{eqnarray} / \begin{eqnarray*} |
公式数组 | 乳胶 |
\begin{equation} / \begin{equation*} |
单公式 | amsmath |
\begin{gather} / \begin{gather*} |
收集的公式 | amsmath |
\begin{multline} / \begin{multline*} |
多行公式 | amsmath |
\begin{split} |
拆分公式 | amsmath |
\begin{alignat} / \begin{alignat*} |
Alignat | amsmath |
\begin{alignedat} |
Alignedat 块 | amsmath |
\begin{subarray} |
限制的子数组 | amsmath |
\eqalign{...} |
公式对齐 (TeX 基元;使用 & 和 \cr) |
TeX |
\cr在所有环境和 中\eqalign，接受为行分隔符 () 的\\同义词。
可交换关系图
\begin{CD} — 支持 @>>>、 @<<<、 @VVV、 @AAA arrow 语法 (amscd) 。
用户定义的命令
对于用户定义的宏，转换器支持 \newcommand、 \renewcommand和 \def 。 在开始分析之前，在预传递中处理定义。
支持的语法
\newcommand{\name}{body}
\newcommand{\name}[n]{body} % n parameters (1-9)
\renewcommand{\name}[n]{body}
\def\name{body} % TeX-style (parameter count auto-detected)
正文中的参数引用为 #1、、 #2...、 #9。
示例
\newcommand{\RR}{\mathbb{R}}
\newcommand{\norm}[1]{\left\| #1 \right\|}
f : \RR \to \RR, \quad \norm{x} \leq 1
限制
-
参数计数： 通过) (
#1#9最多 9 个参数。 - 扩展限制： 每个输入最多执行 500 个宏扩展。 这可防止自引用宏的无限递归。 如果达到限制，剩余的宏调用将保持未展开状态。
-
无可选参数： 不支持可选的第一参数语法
\newcommand{\name}[n][default]{body}。 需要所有参数。 -
否 \let 或 \DeclareMathOperator： 仅
\newcommand可识别 、\renewcommand和\def。 不支持 、\let和\providecommand等\DeclareMathOperator包级命令。 -
范围： 所有定义都是输入中的全局定义。 没有基于组的范围 -
\def内部{...}随处可见。 - 定义顺序： 在输入中稍后定义的宏可用于在输入中较早的调用， (预传递首先收集所有定义) 。
-
定义期间无扩展： 宏正文存储为标记列表，并在调用时 (样式)
\def展开，而不是在定义时 (\edef样式) 。
化学公式和公式
| 命令 | 说明 | 包 |
|---|---|---|
\ce{H2O} |
化学公式 | mhchem |
支持下标数字、费用上标、 -> 反应箭头、 + 物种之间和其他 mhchem 表示法。
有关详细信息，请参阅 Microsoft 365 中的 LaTeX mhchem 支持 。
Dirac 表示法
| 命令 | 说明 | 包 |
|---|---|---|
\bra{x} |
⟨x | | braket |
\ket{x} |
|x⟩ | braket |
间距命令
| 命令 | Size | Unicode | 包 |
|---|---|---|---|
\! |
负薄 () | U+200B | 乳胶 |
\, |
薄 (3mu) | U+2009 | 乳胶 |
\: 或 \medspace |
中等 (4mu) | U+205F | LaTeX /amsmath |
\; 或 \thickspace |
厚 (5mu) | U+2004 | LaTeX /amsmath |
\enspace |
半 (9mu) | U+2002 | 乳胶 |
\quad |
em space (18mu) | U+2003 | 乳胶 |
\qquad |
双 (36mu) | U+2003×2 | 乳胶 |
\mkern <amount>mu |
以 mu 为单位的显式 kern | — | TeX |
\mskip <amount>mu |
以 mu 为单位的显式跳过 | — | TeX |
\hspace{length} |
水平空间 | 乳胶 | |
~ |
非中断空间 | U+00A0 | 乳胶 |
\ (反斜杠空间) |
普通空间 | U+0020 | 乳胶 |
\space |
普通空间 | U+0020 | 乳胶 |
\mkern 和 \mskip 接受 mu、 em、 ex和 pt 单位。 单位被转换为 mu 内部 (1 em = 18 mu， 1 ex ≈ 9 mu， 1 pt ≈ 1.8 mu) 。
限制 - 间距近似值： OMML 没有任意数学间距基元。
\mkern和\mskip值通过映射到最接近的可用 Unicode 空间字符进行近似值：
范围 使用的空格字符 ≥ 14 亩 Em space U+2003 (18 mu) 9-13 亩 En space U+2002 (~9 mu) 4.5-8 mu 三亩空间 U+2004 (~6 亩) 3.5–4.5 mu 中等数学空间 U+205F (~4 mu) 2-3.5 亩 薄空间 U+2009 (~3 mu) < 2 亩 零宽度空间 U+200B 对于大于 18 mu 的值，将针对整个 em 部分发出多个 em 空间，并使用上表映射小数余数。 值上限为 2160 亩 (大约 1200 pt) 。
不支持负间距。 OMML 没有负宽空格字符。 任何零或负值 (（包括
\mskip -3mu) ）都映射到零宽度空间 (U+200B) 。 这也是为什么\!(负薄空间，在 LaTeX) 中 ，3 mu 映射到 U+200B，而不是产生实际的负间距。
样式命令
| 命令 | 说明 |
|---|---|
\displaystyle |
切换到显示样式 |
\textstyle |
切换到文本样式 |
\scriptstyle |
切换到脚本样式 |
\scriptscriptstyle |
切换到脚本脚本样式 |
\limits |
强制限制放置 |
\nolimits |
强制下标放置 |
\footnotesize, \tiny, \scriptsize, \small, \normalsize, \large, \Large, \LARGE, \huge, \Huge |
字号 |
自定义) (数学运算符
| 命令 | 说明 | 包 |
|---|---|---|
\mathrel{x} |
将 x 视为关系 | 乳胶 |
\mathop{x} |
将 x 视为大型运算符 (可以使用 \limits) |
乳胶 |
希腊文字母
小写
| 命令 | 符号 | Unicode |
|---|---|---|
\alpha |
α | U+03B1 |
\beta |
β | U+03B2 |
\gamma |
γ | U+03B3 |
\delta |
δ | U+03B4 |
\epsilon |
Ε | U+03F5 |
\varepsilon |
Ε | U+03B5 |
\zeta |
ζ | U+03B6 |
\eta |
η | U+03B7 |
\theta |
θ | U+03B8 |
\vartheta |
ϑ | U+03D1 |
\iota |
ι | U+03B9 |
\kappa |
κ | U+03BA |
\varkappa |
ϰ | U+03F0 |
\lambda |
λ | U+03BB |
\mu |
Μ | U+03BC |
\nu |
ν | U+03BD |
\xi |
ξ | U+03BE |
\omicron |
ο | U+03BF |
\pi |
π | U+03C0 |
\varpi |
π | U+03D6 |
\rho |
ρ | U+03C1 |
\varrho |
ϱ | U+03F1 |
\sigma |
Σ | U+03C3 |
\varsigma |
ς | U+03C2 |
\tau |
τ | U+03C4 |
\upsilon |
υ | U+03C5 |
\phi |
Φ | U+03D5 |
\varphi |
Φ | U+03C6 |
\chi |
χ | U+03C7 |
\psi |
ψ | U+03C8 |
\omega |
ω | U+03C9 |
大写
| 命令 | 符号 | Unicode |
|---|---|---|
\Gamma |
Γ | U+0393 |
\Delta |
Δ | U+0394 |
\Theta |
Θ | U+0398 |
\Lambda |
Λ | U+039B |
\Xi |
Ξ | U+039E |
\Pi |
Π | U+03A0 |
\Sigma |
Σ | U+03A3 |
\Upsilon |
Υ | U+03A5 |
\Phi |
Φ | U+03A6 |
\Psi |
Ψ | U+03A8 |
\Omega |
Ω | U+03A9 |
还接受 amsmath 包中的变体大写形式 (\varGamma、 \varDelta等 ) ，映射到相同的代码点。
符号
二进制运算符
| 命令 | 符号 | Unicode | 命令 | 符号 | Unicode |
|---|---|---|---|---|---|
\pm |
± | U+00B1 | \mp |
∓ | U+2213 |
\times |
× | U+00D7 | \div |
÷ | U+00F7 |
\cdot |
⋅ | U+22C5 | \ast |
∗ | U+2217 |
\star |
⋆ | U+22C6 | \circ |
∘ | U+2218 |
\bullet |
∙ | U+2219 | \diamond |
⋄ | U+22C4 |
\oplus |
⊕ | U+2295 | \ominus |
⊖ | U+2296 |
\otimes |
⊗ | U+2297 | \oslash |
⊘ | U+2298 |
\odot |
⊙ | U+2299 | \cap |
∩ | U+2229 |
\cup |
∪ | U+222A | \uplus |
⊎ | U+228E |
\sqcap |
⊓ | U+2293 | \sqcup |
⊔ | U+2294 |
\vee |
∨ | U+2228 | \wedge |
∧ | U+2227 |
\setminus |
∖ | U+2216 | \wr |
≀ | U+2240 |
\dagger |
† | U+2020 | \ddagger |
‡ | U+2021 |
\amalg |
⨿ | U+2A3F | \barwedge |
⊼ | U+22BC |
\veebar |
⊻ | U+22BB | \dotplus |
∔ | U+2214 |
\ltimes |
⋉ | U+22C9 | \rtimes |
⋊ | U+22CA |
\leftthreetimes |
⋋ | U+22CB | \rightthreetimes |
⋌ | U+22CC |
\curlyvee |
⋎ | U+22CE | \curlywedge |
⋏ | U+22CF |
\circledast |
⊛ | U+229B | \circledcirc |
⊚ | U+229A |
\circleddash |
⊝ | U+229D | \boxplus |
⊞ | U+229E |
\boxminus |
⊟ | U+229F | \boxtimes |
⊠ | U+22A0 |
\boxdot |
⊡ | U+22A1 | \intercal |
⊺ | U+22BA |
\divideontimes |
⋇ | U+22C7 | \doublebarwedge |
⩞ | U+2A5E |
\triangleleft |
◁ | U+25C1 | \triangleright |
▷ | U+25B7 |
Relations
| 命令 | 符号 | Unicode | 命令 | 符号 | Unicode |
|---|---|---|---|---|---|
\leq 或 \le |
≤ | U+2264 |
\geq 或 \ge |
≥ | U+2265 |
\neq 或 \ne |
≠ | U+2260 | \equiv |
≡ | U+2261 |
\sim |
∼ | U+223C | \simeq |
≃ | U+2243 |
\approx |
≈ | U+2248 | \cong |
≅ | U+2245 |
\ll |
≪ | U+226A | \gg |
≫ | U+226B |
\subset |
⊂ | U+2282 | \supset |
⊃ | U+2283 |
\subseteq |
⊆ | U+2286 | \supseteq |
⊇ | U+2287 |
\in |
∈ | U+2208 | \ni |
∋ | U+220B |
\notin |
∉ | U+2209 | \mid |
∣ | U+2223 |
\parallel |
∥ | U+2225 | \perp |
⊥ | U+22A5 |
\vdash |
⊢ | U+22A2 | \dashv |
⊣ | U+22A3 |
\prec |
≺ | U+227A | \succ |
≻ | U+227B |
\preceq |
⪯ | U+2AAF | \succeq |
⪰ | U+2AB0 |
\propto |
∝ | U+221D | \therefore |
∴ | U+2234 |
\because |
∵ | U+2235 | \bowtie |
⋈ | U+22C8 |
\smile |
⌣ | U+2323 | \frown |
⌢ | U+2322 |
\models |
⊨ | U+22A8 | \doteq |
≐ | U+2250 |
支持更多来自 amssymb 的关系，包括\leqq、、、 \leqslant\eqslantless\lesssim\lessapprox\lll\lessdot\lessgtr\lesseqgtr\geqq\geqslant\eqslantgtr\gtrsim\ggg\gtrdot\gtrless\gtreqless\sqsubset\sqsupset\sqsubseteq\sqsupseteq\subsetneq\supsetneq\subsetneqq\supsetneqq\Subset\Supset\Vdash\Vvdash\precapprox\succapprox\precnapprox\succnapprox\precneqq\succneqq\precnsim\succnsim\precsim\succsim\trianglelefteq\trianglerighteq\vartriangleleft\vartriangleright\circeq\eqcirc\triangleq\bumpeq\Bumpeq\doteqdot\risingdotseq\fallingdotseq\backsim\backsimeq\between\pitchfork及其求反形式 (、、、\nprec\ngeq\nvdash\nleq\nsucc\nvDash\nVDash\ntriangleleft\nVdash、\ntrianglelefteq\ntriangleright、、\ntrianglerighteq等 ) 。 \nsim\ncong
箭头
| 命令 | 符号 | Unicode | 命令 | 符号 | Unicode |
|---|---|---|---|---|---|
\leftarrow |
← | U+2190 |
\rightarrow 或 \to |
→ | U+2192 |
\Leftarrow |
⇐ | U+21D0 | \Rightarrow |
⇒ | U+21D2 |
\leftrightarrow |
↔ | U+2194 | \Leftrightarrow |
⇔ | U+21D4 |
\uparrow |
↑ | U+2191 | \downarrow |
↓ | U+2193 |
\Uparrow |
⇑ | U+21D1 | \Downarrow |
⇓ | U+21D3 |
\updownarrow |
↕ | U+2195 | \Updownarrow |
⇕ | U+21D5 |
\mapsto |
↦ | U+21A6 | \longmapsto |
⟼ | U+27FC |
\longleftarrow |
⟵ | U+27F5 | \longrightarrow |
⟶ | U+27F6 |
\longleftrightarrow |
⟷ | U+27F7 | \Longleftarrow |
⟸ | U+27F8 |
\implies |
⟹ | U+27F9 | \iff |
⟺ | U+27FA |
\hookrightarrow |
↪ | U+21AA | \hookleftarrow |
↩ | U+21A9 |
\nearrow |
↗ | U+2197 | \searrow |
↘ | U+2198 |
\nwarrow |
↖ | U+2196 | \swarrow |
↙ | U+2199 |
\rightharpoonup |
⇀ | U+21C0 | \rightharpoondown |
⇁ | U+21C1 |
\leftharpoonup |
↼ | U+21BC | \leftharpoondown |
↽ | U+21BD |
\rightleftharpoons |
⇌ | U+21CC | \leftrightharpoons |
⇋ | U+21CB |
\rightrightarrows |
⇉ | U+21C9 | \leftleftarrows |
⇇ | U+21C7 |
\rightleftarrows |
⇄ | U+21C4 | \leftrightarrows |
⇆ | U+21C6 |
\Lsh |
↰ | U+21B0 | \Rsh |
↱ U+21B1 | |
\twoheadleftarrow |
↞ | U+219E | \twoheadrightarrow |
↠ | U+21A0 |
\rightsquigarrow |
⇝ | U+21DD | \leftrightsquigarrow |
↭ | U+21AD |
\circlearrowleft |
↺ | U+21BA | \circlearrowright |
↻ | U+21BB |
\curvearrowleft |
↶ | U+21B6 | \curvearrowright |
↷ | U+21B7 |
\dashleftarrow |
⇠ | U+21E0 | \dashrightarrow |
⇢ | U+21E2 |
\upuparrows |
⇈ | U+21C8 | \downdownarrows |
⇊ | U+21CA |
\upharpoonleft |
↿ | U+21BF | \upharpoonright |
↾ | U+21BE |
\downharpoonleft |
⇃ | U+21C3 | \downharpoonright |
⇂ | U+21C2 |
还支持 (\nleftarrow、、\nrightarrow、 \nRightarrow\nleftrightarrow\nLeftarrow\nLeftrightarrow 、) 的求反箭头。
点线
| 命令 | 符号 | Unicode |
|---|---|---|
\ldots 或 \dots |
… | U+2026 |
\cdots |
⋯ | U+22EF |
\vdots |
⋮ | U+22EE |
\ddots |
⋱ | U+22F1 |
\iddots |
⋰ | U+22F0 |
接受语义点命令 \dotsb、 \dotsc、 \dotsi、 \dotsm、 \dotso ，并根据需要映射到 ⋯ 或 … 。
杂项符号
| 命令 | 符号 | Unicode | 命令 | 符号 | Unicode |
|---|---|---|---|---|---|
\infty |
∞ | U+221E | \partial |
∂ | U+2202 |
\nabla |
∇ | U+2207 | \forall |
∀ | U+2200 |
\exists |
∃ | U+2203 | \nexists |
∄ | U+2204 |
\emptyset |
∅ | U+2205 | \aleph |
א | U+2135 |
\beth |
ב | U+2136 | \gimel |
ℷ | U+2137 |
\daleth |
ℸ | U+2138 | \ell |
我 | U+2113 |
\wp |
℘ | U+2118 | \Re |
R | U+211C |
\Im |
我 | U+2111 | \hbar |
ħ | U+210F |
\imath |
ı | U+0131 | \jmath |
ȷ | U+0237 |
\prime |
′ | U+2032 | \angle |
∠ | U+2220 |
\measuredangle |
∡ | U+2221 | \sphericalangle |
∢ | U+2222 |
\top |
⊤ | U+22A4 | \bot |
⊥ | U+22A5 |
\neg |
¬ | U+00AC | \complement |
∁ | U+2201 |
\square |
□ | U+25A1 | \blacksquare |
■ | U+25A0 |
\triangle |
△ | U+25B3 | \triangledown |
▽ | U+25BD |
\blacktriangle |
▴ | U+25B4 | \blacktriangledown |
▾ | U+25BE |
\lozenge |
◊ | U+25CA | \blacklozenge |
⧫ | U+29EB |
\bigstar |
★ | U+2605 | \Diamond |
◇ | U+25C7 |
\clubsuit |
♣ | U+2663 | \diamondsuit |
♢ | U+2662 |
\heartsuit |
♡ | U+2661 | \spadesuit |
♠ | U+2660 |
\flat |
♭ | U+266D | \natural |
♮ | U+266E |
\sharp |
♯ | U+266F | \checkmark |
✓ | U+2713 |
\maltese |
✠ | U+2720 | \mho |
℧ | U+2127 |
\Finv |
Ⅎ | U+2132 | \Game |
⅁ | U+2141 |
\backslash |
\ | U+005C | \Vert |
‖ | U+2016 |
\bigcirc |
◯ | U+25EF |
求反表
前缀 \not 将这些关系转换为其否定的 Unicode 形式：
| 基本 | 否定 | 基本 | 否定 |
|---|---|---|---|
< → ≮ |
= → ≠ |
> → ≯ |
\leq → ≰ |
\geq → ≱ |
\sim → ≁ |
\simeq → ≄ |
\cong → ≇ |
\approx → ≉ |
\equiv → ≢ |
\prec → ⊀ |
\succ → ⊁ |
\subset → ⊄ |
\supset → ⊅ |
\subseteq → ⊈ |
\supseteq → ⊉ |
\sqsubseteq → ⋢ |
\sqsupseteq → ⋣ |
\vdash → ⊬ |
\models → ⊭ |
\mid → ∤ |
\parallel → ∦ |
\in → ∉ |
\ni → ∌ |
\exists → ∄ |
\trianglelefteq → ⋬ |
\trianglerighteq → ⋭ |
|
\leftarrow → ↚ |
\rightarrow → ↛ |
\leftrightarrow → ↮ |
|
\Leftarrow → ⇍ |
\Rightarrow → ⇏ |
\Leftrightarrow → ⇎ |
字母和 Math-Alphanumeric 变体
导入期间字母顺序的工作原理
拉丁字母 (a–zA -Z 数学模式下的) 默认以数学斜体呈现，这是标准的 LaTeX 和 OMML 行为。 字体命令更改样式：
| 命令 | 示例 | 结果 |
|---|---|---|
\mathbf{A} |
粗体 A | 映射到 U+1D400 块 (数学粗体) |
\mathbb{R} |
双击 R | 映射到 U+1D538 块 (数学双击) |
\mathcal{L} |
脚本 L | 映射到 U+1D49C 块 (数学脚本) |
\mathfrak{g} |
Fraktur g | 映射到 U+1D504 块 (数学 Fraktur) |
\mathsf{x} |
Sans-serif x | 映射到 U+1D5A0 块 (数学 Sans-Serif) |
\mathtt{x} |
Monospace x | 映射到 U+1D670 块 (数学单空间) |
导出期间字母顺序的工作原理
将 OMML 导出到 LaTeX 时，Unicode 数学字母数字符号块 (U+1D400–U+1D7FF) 的字符将折叠回其基本 ASCII/希腊语等效项。 代码点中编码的字体样式确定包装 \math*{...} 字符的命令：
| Unicode 块 | 启动代码点 | 导出命令 |
|---|---|---|
| 粗体 | U+1D400 | \mathbf{x} |
| 斜体 | U+1D434 | (默认值，无包装器) |
| 粗体斜体 | U+1D468 | \boldsymbol{x} |
| Script | U+1D49C | \mathcal{x} |
| Fraktur | U+1D504 | \mathfrak{x} |
| Double-Struck | U+1D538 | \mathbb{x} |
| Sans-Serif | U+1D5A0 | \mathsf{x} |
| Monospace | U+1D670 | \mathtt{x} |
补充平面中的希腊字母 (U+1D6A8 的粗体希腊文、U+1D6E2 的斜体希腊文等，) 类似地折回到具有适当字体包装器的 BMP 希腊字符。
BMP 类似字母的符号 (C、H、N、P、Q、R、Z、l、ħ 等 ) 也被识别并折叠为 \mathbb{C}、 \mathbb{H}等。
导出 (Office 数学→ LaTeX)
构建公式或导出到 LaTeX 时，转换器将生成重新导入到同一 OMML 结构的 LaTeX。
结构模式匹配
导出对 OMML 树执行模式匹配以生成惯用 LaTeX：
| OMML 模式 | LaTeX 输出 |
|---|---|
<m:f> (分数) |
\frac{num}{den} |
<m:f> 没有条形图 |
\binom{n}{k} 如果括号) 或 ，则 (\genfrac |
<m:rad> |
\sqrt{x} 或 \sqrt[n]{x} |
<m:d> (分隔符) |
\left( ... \right) 使用适当的分隔符 |
<m:d> 与 ⟦ ⟧ |
\lbrack\!\lbrack ... \rbrack\!\rbrack |
<m:func> 替换为“mod” |
\bmod x |
<m:d> with (\mod ...) |
\pmod{x} |
<m:acc> (重音) |
\hat{x}、 \vec{x}、等。 |
<m:bar> 返回页首 |
\overline{x} |
<m:bar> 底部 |
\underline{x} |
<m:groupChr> 与 ⏞ |
\overbrace{x} |
<m:groupChr> 与 ⏟ |
\underbrace{x} |
<m:groupChr> 使用 → |
\xrightarrow[below]{above} |
<m:limLow> / <m:limUpp> |
\overset, \underset, \lim_{x} |
<m:nary> |
\int_{a}^{b}、 \sum_{n=1}^{\infty}、等。 |
<m:m> (矩阵) |
\begin{pmatrix}、 \begin{bmatrix}、等。 |
<m:eqArr> |
\begin{aligned} 或使用 \begin{cases} 左大括号) ( |
<m:sSup>, <m:sSub>, <m:sSubSup> |
x^{a}, x_{b}, x_{b}^{a} |
<m:sPre> |
{}_{a}^{b}x |
<m:phant> |
\phantom、 \hphantom、 或 \vphantom |
<m:borderBox> |
\boxed{x}、 \cancel{x}、 \bcancel{x}或 \xcancel{x} |
函数名称重建
(由逐个字符的直立格式) 生成的连续\mathrm{s}\mathrm{i}\mathrm{n}序列将折叠回 \sin、\cos、 \log\mod和其他已知函数名称。
复合限制函数
复合名称（如 \limsup 和 \liminf ）是从其组件部件 (重新构造的，例如在导出过程中，“lim”+薄空间+“sup”) 。
Unicode 空间映射
OMML 文本中的 Unicode 数学空间字符转换为其相应的 LaTeX 间距命令：
| Unicode | LaTeX 命令 |
|---|---|
| U+00A0 (NBSP) | \ |
| U+2001 (em quad) | \quad |
| U+2002 (en space) | \enspace |
| U+2003 (空间) | \quad |
| U+2004 (每 em 三) | \; |
| U+2005 (4-per-em) | \; |
| U+2009 (薄空间) | \, |
| U+200A (发空间) | \, |
| U+200B (零宽度) | \! |
| U+205F (中等数学空间) | \: |
符号和字符导出
导入部分中列出的所有符号、运算符、分隔符、重音符和 n 个运算符都使用其主 LaTeX 命令名称导出。 当 Unicode 字符具有多个 LaTeX 别名 (例如 \le 和 \leq) 时，将使用主形式。
低俗分数字符 (1/2、1/3、2/3、1/4、3/4) 导出为 \tfrac{n}{d}。
剪贴板支持
操作系统没有 LaTeX 的剪贴板格式。
LaTeX 通常使用 CF_UNICODETEXT 或 CF_TEXT 剪贴板格式复制到 Microsoft 365 中。
如果文本可以明确识别为 LaTeX，因为它包含在 、$$...$$、 \(...\)或\[...\]分隔符中$...$，则会自动将其导入为 LaTeX 并转换为 Office Math。 否则，它将作为常规文本插入，然后可以通过选择它并执行“ 插入>公式” 命令将其转换为 Office Math。
往返保真度
大多数 LaTeX 表达式都忠实地 (LaTeX → OMML → LaTeX 生成等效的输出) 。 但是，会发生一些规范化：别名被规范化为主要形式 (例如 \le ， \leq →) ，间距可以简化。
限制
分数和二项式大小：
\dfrac和\tfrac以相同的方式导入到\frac和\dbinom，并且\tbinom导入到\binom的相同方式。 OMML 不支持按元素显示样式或文本样式替代，因此大小区分丢失。继续分数对齐：
\cfrac[l]{num}{den}和\cfrac[r]{num}{den}的导入方式\cfrac{num}{den}与 相同。 不保留左对齐和右对齐方式。大分隔符大小：
\big、\Big、\bigg\Bigg及其方向变体 (\bigl、\bigr、等 ) 都转换为自动调整大小\left...\right分隔符。 不保留显式大小等级。书法风格：
\mathcal{...}和\cal仅支持大写字母。 对于其他字符，如小写字母和数字，将应用默认样式。脚本样式：
\mathscr{...}导入方式\mathcal{...}与 完全相同。颜色： 颜色信息存储在 OMML 中，但在生成期间不会导出回 LaTeX。 颜色在文档中保留，但在 LaTeX 导出时丢失。
矩阵大小：
\begin{smallmatrix}...\end{smallmatrix}处理方式与 相同\begin{matrix}...\end{matrix}。数组列对齐方式： 在 PowerPoint 和 Excel 中，不支持对齐数组中的列。 所有列都居中对齐。
公式编号：
\tag{...}、\label{...}、、\ref{...}\eqref{...}、\notag和\nonumber在导入过程中被分析并静默丢弃 (它们不会导致错误，但信息不会) 保留。多行显示：
\begin{align}和类似环境生成公式数组。 将保留对齐点，但视觉布局可能与 LaTeX 呈现不同。样式命令：
\displaystyle、\textstyle、\scriptstyle和\scriptscriptstyle在导入过程中进行分析，但不会影响 OMML 输出。将分析和跳过字体大小：
\footnotesize、\tiny\scriptsize、\small、\normalsize、\large\Large、\huge\LARGE、、 和 。\Huge大小不会保留。
不支持的命令
本文档中未列出的命令在导入过程中作为文本文本传递 (例如， \smash{x} 在公式) 中显示为文本“\smash{x}”。 下面是 不支持 的显著命令的摘要。
不支持核心 LaTeX 数学命令
| 命令 | 说明 |
|---|---|
\smash{x} |
折叠高度和/或深度 |
\ensuremath{x} |
确保数学模式 |
\mathnormal{x} |
重置为默认数学字体 |
\mathord{x}, \mathbin{x}, \mathopen{x} |
Atom 类型替代 |
\mathclose{x}, \mathpunct{x}, \mathinner{x} |
Atom 类型替代 |
\strut, \mathstrut |
间距的不可见支柱 |
\rule{w}{h} |
水平规则 |
\raisebox{lift}{x} |
提高或降低内容 |
\above, \overwithdelims, \atopwithdelims |
分隔分数的 TeX 基元 |
\abovewithdelims |
带条分隔分数的 TeX 基元 |
\let, \providecommand, \edef |
仅\newcommand支持 (的 \renewcommand\def TeX/LaTeX 宏定义) |
不支持 amsmath 命令
| 命令 | 说明 |
|---|---|
\DeclareMathOperator{cmd}{name} |
定义新的运算符名称 |
\sideset{_a^b}{_c^d}{\sum} |
大型运算符上的侧脚本 |
\smash[t]{x}, \smash[b]{x} |
选择性垂直粉碎 |
\intertext{text}, \shortintertext{text} |
对齐行之间的文本 |
\shoveleft{x}, \shoveright{x} |
在内移行 multline |
\hdotsfor{n} |
跨越矩阵列的点数 |
\xleftrightarrow[below]{above} |
仅 (\xleftarrow 的可扩展向右键， \xrightarrow 支持) |
\xhookleftarrow, \xhookrightarrow |
可扩展挂钩箭头 |
\xmapsto[below]{above} |
可扩展映射为箭头 |
\nobreakdash |
非中断短划线 |
\allowdisplaybreaks, \displaybreak |
分页符控件 |
\numberwithin{counter}{section} |
编号配置 |
\raisetag{length} |
调整标记位置 |
其他包 - 不支持命令
| 命令 | 包 | 说明 |
|---|---|---|
\sout{x}, \uline{x}, \uuline{x} |
ulem | 下划线/删除线 |
\underbracket{x}, \overbracket{x} |
mathtools | 括号样式大括号 |
\prescript{^a_b}{}{X} |
mathtools | 规范 |
\coloneqq, \eqqcolon |
mathtools | 冒号相等关系 |
\dv{f}{x}, \pdv{f}{x} |
物理 | 派生运算符 |
\braket{x\|y} |
braket | 支持 bra-ket 内部产品 (\bra 和 \ket 单独) |
\SI{value}{unit} |
siunitx | SI 单位 |
\tensor{T}{^a_b} |
张 | 张量表示法 |
要求
除非另有说明，否则此处所述的功能在 Microsoft 365 版本 2606 (适用于 Windows 的内部版本 20131.xxxxx) 和适用于 Mac 的版本 16.110 及更高版本中受支持。 早期版本支持此处所述的一些功能，但不是所有功能。