数学标记语言（MathML）版本 4.0

为描述 MathML 特定的属性值语法，本文档中对大多数属性使用下列约定和记法。

上述“类型”，除 string 外，可以使用下列运算符组合成复合模式。整个属性值在标记文档中必须被单引号（'）或双引号（"）包围。注意本规范中经常使用双引号来标记文字表达；表格第 5 行中的 "-" 是一个示例。

在下表中，形式 f 表示表中所述类型的一个实例。组合运算符按优先级从高到低显示：

我们在此选择的记法风格类似于用于 MathML 基本模式的 RelaxNG 的句法记号，见 A. 解析 MathML。

由于某些应用对空白规范化不一致，为了最大互操作性，建议仅使用单个空白字符来分隔值的各部分。此外，应避免属性值中的前导和尾随空白。

为与 HTML 兼容，使用枚举字符串值定义的属性在比较时应采用 ASCII 不区分大小写 的比较方式。

对于大多数数值属性，仅表达值的一个子集是有意义的；除非另有规定，超出该子集的值并非错误，而是由渲染器按舍入规则向最接近允许子集的值折算。允许值的集合可能依赖于渲染器，MathML 并不对此进行规定。

如果属性值语法描述中声明某数值类型允许负号 ('-')，例如 number 或 integer，当提供了负号但该负值在语义上不合理时，这并不是语法错误。相反，应按照前一段所述由处理应用进行处理。显式的加号 ('+') 除非在语法中明确列出（作为引号包围的 '+' 或 "+"），否则不允许作为数值的一部分，其存在可能改变属性值的含义（详见允许它的各属性的文档）。

大多数呈现元素具有接受表示长度的属性，用于设置大小、间距或类似属性。[MathML-Core] 仅接受在 [CSS-VALUES-3] 中定义的 <length-percentage> 语法。MathML Full 扩展了长度语法，还接受一种称为 namedspace 的值，该值为对下列之一的 ASCII 不区分大小写匹配：

在 MathML 3 中，mpadded 上的属性允许三种 伪单位：height、depth 和 width（取代通常 CSS 单位之一），表示内容的原始尺寸。它还允许一种已弃用的用法，即以无单位的数字表示长度，该数字被解释为参考值的倍数。这些形式在 MathML 4 中被视为无效。

MathML 属性的默认值通常在文中各具体元素的详细描述中给出。表格中以普通文本显示的默认值为字面值，但斜体表示的是如何计算默认值的说明。

被描述为 inherited 的默认值取自渲染环境，如 3.3.4 样式更改 <mstyle> 中所述，或在某些单独描述的情况下取自周围元素的其他属性值，或取自这些值的某些部分。使用的值总是可以被显式指定的值（如果已知）；它绝不会依赖于同一元素的内容或属性，仅依赖于其环境。（其使用含义可能会依赖于那些属性或内容。）

被描述为 automatic 的默认值应由 MathML 渲染器以能产生高质量渲染的方式计算；通常 MathML 规范不会规定如何计算。所计算的值总是可以被显式指定的值（如果已知），但通常取决于元素内容及其渲染时的上下文。

表格中出现的其它斜体默认值说明在各属性的单独说明中给出。

XML 起始标记中属性值所需的单引号或双引号在各元素的属性值语法表中未显示，但在文本示例中属性值周围有引号，以便所示代码片段正确。

注意，一般而言，MathML 中没有机制模拟不指定被描述为 inherited 或 automatic 的属性的效果。显式给出单词 inherited 或 automatic 不会起作用，并且通常不被允许。此外，mstyle 元素（见 3.3.4 样式更改 <mstyle>）甚至可用于更改其子元素的呈现属性的默认值。

还应注意，这些默认值描述的是在未提供属性时 MathML 应用的行为；它们并不表示 XML 解析器会填充的值，如某些基于 DTD 的规范有时所要求的那样。

通常，可以将若干 MathML 渲染属性视作文档的整体属性，或者至少是大文档某些部分的属性。例如 mathsize（数学字体大小：见 3.2.2 标记元素通用的数学样式属性），或在对积分或求和等运算符设置上下标的行为（例如 movablelimits 或 displaystyle），或在跨行断开公式时的行为（例如 linebreakstyle）；有关此类属性，请参阅 3.2 标记元素 中的若干元素。这些可以被视为从某个包含作用域继承而来。前面我们提到将 MathML 属性的默认值设置为 inherited 或 automatic；第三类全局默认值来源是 MathML 运算符词典。默认示例见 B. 运算符词典。这在 3.2.5.6.1 运算符词典 中也有讨论，示例见 3.2.5.2.1 基于词典的属性。

下表中列为需要 1* 参数的元素（msqrt、mstyle、merror、mpadded、mphantom、menclose、mtd、mscarry 和 math） 在概念上接受单个参数，但实际接受任意数量的子元素。如果子元素数量为 0 或多于 1，则它们将其内容视为由所有子元素构成的单个 推断的 mrow，并将该 mrow 视为参数。

例如，

<msqrt>
  <mo> - </mo>
  <mn> 1 </mn>
</msqrt>

被视为等同于

<msqrt>
  <mrow>
    <mo> - </mo>
    <mn> 1 </mn>
  </mrow>
</msqrt>

此特性允许 MathML 数据不包含（且其作者可以省略）许多本来需要的 mrow 元素。

为便于查阅，下面列出每个元素的参数计数要求以及在按位置区分时各参数的角色。参数计数为 1* 表示如上所述的推断 mrow。尽管 math 元素不是呈现元素，但为完整性其也在下表列出。

公式的整体方向性，基本上是布局模板的方向，由包含该公式的 math 元素上的 dir 属性指定（参见 2.2 顶层 <math> 元素）。默认值为 ltr。当使用 dir=rtl 时，布局只是常规欧洲布局的镜像。也就是说，上下移动保持不变，但布局的推进方向由右向左。

例如，在 RTL 布局中，下标和上标出现在底座的左侧；根号的符号出现在右侧，根号横线延伸覆盖底座向左。依赖于方向性的元素的布局细节在该元素的讨论中给出。在这些讨论中，使用术语 leading 和 trailing 来指定对象的一侧，当使用哪一侧取决于方向性时使用该术语；即在 LTR 中 leading 表示左侧，在 RTL 中表示右侧。术语 left 和 right 在其他情况下可安全地按字面含义理解。

整体方向性通常在 math 上设置，但也可以通过在单个子表达式上使用 dir 属性来切换，例如在 mrow 或 mstyle 元素上。当未指定时，所有元素继承其容器的方向性。

文本方向性在可包含文本的 MathML 标记元素（mtext、mo、mi、mn 和 ms）中起作用，并由该文本的 Unicode 属性决定。仅包含 LTR 或 RTL 字符的标记元素按该方向直接显示。当涉及混合方向（例如 RTL 阿拉伯语与 LTR 数字）时，应应用 Unicode 双向算法 [Bidi]。该算法规定了具有相同方向的字符运行如何处理以及这些运行如何（重新）排序。基础或初始方向由上面描述的整体方向性（见 3.1.5.1 数学公式的整体方向性）给出，并影响弱方向字符的处理以及运行的嵌套。（因此 dir 属性被允许用于标记元素以在罕见情况下指定可能需要的初始方向性。）任何出现在标记元素内的 mglyph 或 malignmark 元素在效果上是 中性 的，不影响排序。

重要的是注意，双向算法独立地应用于每个标记元素的内容；每个标记元素是一个独立的字符运行。

还应尊重 Unicode 和各种字体的其它特性，例如“镜像”和“字形成形”。某些 Unicode 字符在 RTL 上下文中被标记为镜像显示；即字符绘制为其镜像或被替换为相应字符。例如，开括号 ‘(’ 在 RTL 中将显示为 ‘)’。相反，斜杠（/ U+002F）并未被标记为镜像。因此，希望在内联除法中将斜杠反转的阿拉伯作者应显式使用反斜杠（\ U+005C）或替代字符如镜像除号（U+2215）。

此外，像阿拉伯书法这样的字体会将字符序列连接在一起，改变它们的外观。由于这可能对可读性和美观性产生显著影响，应该在可能的情况下应用此类字形成形。字形成形（如方向性）对每个标记元素的内容单独生效。

注意，对于用希伯来字符表示的超限基数，应在 MathML 中使用代码点 U+2135-U+2138（ALEF SYMBOL、BET SYMBOL、GIMEL SYMBOL、DALET SYMBOL），而不是字母外观相似的代码点。这些代码点具有强烈的从左到右方向性。

MathML 支持对表达式的自动和手动（强制）换行，以将过长的表达式拆分为多行。所有此类换行发生在 mrow（包括推断的 mrow；见 3.1.3.1 推断的 <mrow>s）或 mfenced 内。换行通常发生在 mo 元素处，并且为向后兼容也可以在 mspace 处发生。 渲染器也可以选择在其它点放置自动换行，例如相邻的 mi 元素之间，甚至在一个非常长的标记元素（如 mn）内部。MathML 不提供指定此类换行的手段，但如果渲染器选择在此类点换行，应按照在该点生效的 缩进属性 缩进下一行。

当包含的 math 元素具有 overflow=linebreak 且显示引擎确定没有足够空间显示整个公式时，便发生自动换行。因此渲染器必须知道可用宽度。像字体属性一样，可从包含 MathML 元素的环境继承该宽度。如果无法确定宽度，则应假定为无限。在 mtable 内，每列具有某个宽度。该宽度可以作为属性指定或由内容决定。应将该宽度用作换行的行宽，并根据需要对表格中的各条目进行换行。

强制换行通过在 mo 或 mspace 元素上使用 linebreak=newline 来指定。自动和手动换行可以在同一公式中同时出现。

对 mfrac、msqrt、mroot、menclose 及各种脚本元素的子表达式进行自动换行并非强制。渲染器可以选择忽略这些元素内的强制换行。

在 mo（以及可能的 mspace）元素上设置的属性控制换行和随后的行的缩进。可控制的换行方面包括：

• 位置 — 属性决定在特定运算符或空白处换行的可取性，尤其是指定在该处是否要求或禁止换行。这些只能设置在 mo 和 mspace 元素上。（见 3.2.5.2.2 换行属性。）

• 运算符显示/位置 — 当发生换行时，决定运算符是否出现在行尾、下一行行首或在两处都出现；以及在换行后应添加多少垂直空白。这些属性可以在 mo 元素上设置，或从 mstyle 或 math 元素继承。（见 3.2.5.2.2 换行属性。）

• 缩进 — 决定换行后行的缩进，包括使下一行与上一行的某点对齐的缩进。这些属性可以在 mo 元素上设置，或从 mstyle 或 math 元素继承。（见 3.2.5.2.3 缩进属性。）

当 math 元素出现在内联上下文中时，它可以遵守文档文本渲染引擎所采用的段落流程规则。此类规则超出本规范范围。或者，它可以使用 math 元素的 overflow 属性值。（见 2.2.1 属性。）

另外，mglyph 元素可在标记元素内用于将非标准符号表示为图像。

呈现元素还接受 [MathML-Core] 指定的 全局属性。

这些属性包括主要针对视觉媒介的属性。它们不应影响显示表达式的预期语义。前两个用于突出或引起注意，例如红色的 "x" 并不被认为在语义上不同于黑色的 "x"，这与具有不同 mathvariant 值的变量（见 3.2.2 标记元素通用的数学样式属性）形成对比。其余两个覆盖表达式布局的一些默认规则。有关更多信息，请参见 3.1.6 displaystyle 与 Scriptlevel。

这些属性也可以设置在任何 MathML 呈现元素上。

由于 MathML 表达式通常嵌入于如 HTML 等文本数据格式中，MathML 渲染器应继承 MathML 出现时环境中使用的前景色。但请注意，MathML（与 [MathML-Core] 相比）并未规定如何从渲染环境继承样式信息的机制。更多细节见 3.2.2 标记元素通用的数学样式属性。

请注意，建议的 MathML 可视渲染规则并未定义 mathbackground 属性影响的区域范围，唯一例外为当内容无负尺寸、其绘制区域不因其周围负间距而与其它绘制区域重叠时，应位于该内容所有绘制之下且不位于其它表达式绘制之下。由于负间距导致的绘制区域重叠对 mathbackground 属性影响区域范围的作用不在这些规则定义之内。

可按 7.4 将 MathML 与其他格式结合 所述将 MathML 与其他格式结合使用。 推荐的方式是通过扩展 MathML 模式，使额外元素可作为 mtext 或其他叶子元素的子元素嵌入 MathML，以适应表达式中的不同需求（见 3.2.3 标识符 <mi>、3.2.4 数字 <mn>、3.2.5 运算符、定界符、分隔符或重音 <mo>）。 方向、字体大小和其他字体属性应继承自包含元素字符本应有的设置（见 3.2.2 标记元素通用的数学样式属性）。

下面是一个在 HTML 场景下把 SVG 嵌入 mtext 的例子：

<mtable>
 <mtr>
  <mtd>
   <mtext><input type="text" placeholder="what shape is this?"/></mtext>
  </mtd>
 </mtr>
 <mtr>
  <mtd>
   <mtext>
    <svg xmlns="http://www.w3.org/2000/svg" width="4cm" height="4cm" viewBox="0 0 400 400">
     <rect x="1" y="1" width="398" height="398" style="fill:none; stroke:blue"/>
     <path d="M 100 100 L 300 100 L 200 300 z" style="fill:red; stroke:blue; stroke-width:3"/>
    </svg>
   </mtext>
  </mtd>
 </mtr>
</mtable>

mi 元素表示一个符号名称或应被渲染为标识符的任意文本。标识符可以包括变量、函数名和符号常量。典型的图形渲染器会将 mi 元素按其内容渲染（见 3.2.1 标记元素内容字符，<mglyph/>），其周围无额外间距（与相邻元素相关的间距除外）。

并非所有 数学标识符 都通过 mi 元素表示——如下标或加上撇号的变量分别应当用 msub 或 msup 表示。反之，作为项角色的任意文本（如求和数列中的省略号）应该用 mi 元素表示。

应当强调，mi 是一个表现性元素。因此只指明其内容应当以标识符形式呈现。在大多数情况下，mi 的内容实际上代表数学标识符（如变量或函数名）。但是，如上一段所述，应以标识符形式渲染的记法与真正代表数学标识符的记法之间，并不总能一一对应。若元素的语义保证是标识符，参见 4. 内容标记 中 ci 的说明。

mi 元素接受列表于 3.2.2 标记元素通用的数学样式属性 中的属性，但有一项默认值不同：

请注意，为了判断 Math 字母数字符号字符的等价性（参见 8.2 数学字母数字符号），应首先解算 mathvariant 属性，包括上述特殊默认规则。

mn 元素表示一个数字字面量或应以数字字面量形式渲染的其他数据。一般来说，数字字面量是一个数字序列，可能包含小数点，表示无符号整数或实数。 典型的图形渲染器会把 mn 元素渲染为其内容（见 3.2.1 标记元素内容字符，<mglyph/>），周围没有额外间距（除了来自相邻元素如 mo 的间距）。 mn 元素通常用非斜体字体渲染。

数字 这一数学概念可以非常微妙且复杂，取决于具体语境。因此，并非所有数学意义上的数字都应使用 mn 表示；下方给出的示例中，复数、以分数表示的数字比例以及数字常量名称等，应使用不同方式表示。

反过来，由于 mn 是表现性元素，在某些情况下可以将任意文本放入 mn 内容中，只要其渲染效果是数字字面量，哪怕根据某种数字字符序列的编码标准，该内容未必能被明确地解释为数字。不过，通常应将 mn 元素保留给真正要表达某种数值内容的情形。若需要其语义保证为某种类型的数学数，请参见 4. 内容标记 中 cn 的说明。

mn 元素可接受3.2.2 标记元素通用的数学样式属性中列出的属性。

许多数学意义上的数字应通过 mn 以外的呈现元素表示；这包括复数、负数、以分数形式表示的数字比例以及数字常量的名称。

<mrow>
  <mn> 2 </mn>
  <mo> + </mo>
  <mrow>
    <mn> 3 </mn>
    <mo> &#x2062;<!--InvisibleTimes--> </mo>
    <mi> ⅈ </mi>
  </mrow>
</mrow>

<mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac>

<mrow><mo>-</mo><mn>2</mn></mrow>

<mi> π </mi>

<mi> ⅇ </mi>

mo 元素表示一个运算符或任何应按运算符方式渲染的项。通常，数学运算符的记法惯例相当复杂，因此 MathML 为指定 mo 元素的渲染行为提供了较为复杂的机制。因此，在 MathML 中“应按运算符渲染”的项的范围包括许多在普通意义上并非数学运算符的记法。除了通常的前缀、中缀或后缀形式的普通运算符外，还包括诸如大括号、圆括号和“绝对值”竖线等定界符；诸如逗号和分号之类的分隔符；以及诸如符号上方或上方波浪线之类的数学重音。本章中我们将使用“运算符”一词来指代上述广义的运算符。

典型的图形渲染器把所有 mo 元素显示为其内容（见 3.2.1 标记元素内容字符，<mglyph/>），并根据其属性在元素周围加上额外间距，下面会进一步说明。对于无法访问完整 MathML 字符集字体的渲染器，在某些情况下可能选择不精确地以内容中的字符渲染 mo 元素。例如，<mo> ≤ </mo> 可能会被终端渲染为 <=。然而，总的原则是渲染器应尽量按文本字面渲染 mo 元素的内容。即 <mo> ≤ </mo> 与 <mo> &lt;= </mo> 应产生不同的渲染。前者应呈现为单一的“小于等于”字符，而后者应呈现为两个字符的序列 <=。

mo 元素的一个关键特性是其默认属性值在很多情况下是从下述的“运算符词典”按具体情形设置的。特别地，stretch、symmetric 和 accent 的默认值通常可以在运算符词典中找到，因此无需在每个 mo 元素上显式指定。

注意某些数学运算符并非仅由 mo 元素表示，而是由带有（例如）周围上标的 mo 元素“修饰”而成；下面将进一步描述这一点。相反，作为呈现元素，mo 元素可以包含任意文本，即使这些文本没有标准的运算符解释；例如，见 3.2.6 文本 <mtext> 中的“混合文本与数学”讨论。另请参见 4. 内容标记，其中定义了保证具有特定数学运算符语义的 MathML 内容元素。

另请注意，如在 3.1.7 表达式的换行 中讨论的，换行通常发生在运算符处（取决于本地惯例可在运算符之前或之后换行）。因此，mo 接受用于编码在特定运算符处换行可取性的属性，以及在该运算符处发生换行时描述运算符处理与缩进的属性。

mo 元素接受 3.2.2 标记元素通用的数学样式属性 中列出的属性以及此处列出的附加属性。由于运算符的显示在数学中至关重要，mo 元素接受大量属性；这些将在接下来的三个小节中描述。

大多数属性的默认值来自包含的 mstyle 元素、math 元素、 来自包含文档， 或来自 3.2.5.6.1 运算符词典。 当某个列为“继承”的值未在 mo、mstyle、math 上显式给出，或在运算符词典中未找到时，应使用表中括号内显示的默认值，因为这些值通常对通用运算符是可接受的。

在传统数学记法中某些“不可见”的运算符应当使用特定字符（或实体引用）在 mo 元素内表示，而不是简单地什么都不写。用于这些“不可见运算符”的字符为：

<mrow>
  <mi> f </mi>
  <mo> &#x2061;<!--ApplyFunction--> </mo>
  <mrow>
    <mo> ( </mo>
    <mi> x </mi>
    <mo> ) </mo>
  </mrow>
</mrow>

<mrow>
  <mi> sin </mi>
  <mo> &#x2061;<!--ApplyFunction--> </mo>
  <mi> x </mi>
</mrow>

<mrow>
  <mi> x </mi>
  <mo> &#x2062;<!--InvisibleTimes--> </mo>
  <mi> y </mi>
</mrow>

<msub>
  <mi> m </mi>
  <mrow>
    <mn> 1 </mn>
    <mo> &#x2063;<!--InvisibleComma--> </mo>
    <mn> 2 </mn>
  </mrow>
</msub>

<mrow>
  <mn> 2 </mn>
  <mo> &#x2064; </mo>
  <mfrac>
    <mn> 3 </mn>
    <mn> 4 </mn>
  </mfrac>
</mrow>

mo 元素的典型视觉渲染行为比其它 MathML 标记元素更复杂，因此对其渲染规则在本小节中单独描述。

注意，与 MathML 中所有渲染规则一样，这些规则为建议而非强制。下面的描述旨在尽可能清晰地说明各种渲染属性的预期效果。浏览器实现上关于运算符的详细布局规则见 MathML Core。

四个属性控制运算符（可能被修饰）是否以及如何伸展以匹配其他元素的大小：stretchy、symmetric、maxsize 与 minsize。如果某个运算符的属性 stretchy=true，则其（即其内容中的每个字符）应遵循下面列出的伸展规则，受字体与字体渲染系统的约束。实际上，典型渲染器只能够伸展一小部分字符，且很可能只能够生成离散的一组字符尺寸。

MathML 未提供指定将某个字符或运算符向哪个方向（水平或垂直）伸展的机制；当 stretchy=true 时，若某字符在某个方向上可伸展且该方向对该字符是合理的，该字符应在该方向上伸展。渲染器应自行判断对该字符在何方向上伸展是合理的。如果可以伸展，典型渲染器大多数字符最多在一个方向上伸展，但有些渲染器可能能够对某些字符（如对角箭头）在两个方向上独立伸展。

minsize 与 maxsize 属性限制伸展量（任一方向）。这两个属性可作为伸展方向上的算子正常尺寸的乘数，或用单位表示为绝对尺寸。例如，若某字符有 maxsize=300%，则其最大可增长为正常（未伸展）尺寸的三倍。

symmetric 属性控制高度与深度在字符轴上下被强制相等（通过将高度与深度都设为两者最大值）。当需要在矩阵周围伸展括号但矩阵未在轴上对齐（例如乘以非方阵时常见）时，可能希望将 symmetric 设为 false，以避免括号对称伸展导致凸出矩阵一侧。symmetric 仅适用于垂直伸展的字符（否则忽略）。

如果一个可伸展的 mo 元素被修饰（如前文定义），那么其核心处的 mo 元素会被伸展到基于整个被修饰运算符上下文的尺寸，即伸展到如果不存在修饰物时该运算符应有的相同尺寸。例如，下面示例中的括号（通常会在运算符词典中被设置为可伸展）将被伸展到相同的尺寸，且与若它们未被下划或上划时的尺寸相同，并且将覆盖相同的垂直区间：

<mrow>
  <munder>
    <mo> ( </mo>
    <mo> _ </mo>
  </munder>
  <mfrac>
    <mi> a </mi>
    <mi> b </mi>
  </mfrac>
  <mover>
    <mo> ) </mo>
    <mo> ‾ </mo>
  </mover>
</mrow>

注意这意味着下面给出的伸展规则必须参考整个被修饰运算符的上下文，而非仅针对 mo 元素本身。

<mrow>
  <mo maxsize="100%">(</mo>
  <mfrac>
    <msup><mi>a</mi><mn>2</mn></msup>
    <msup><mi>b</mi><mn>2</mn></msup>
  </mfrac>
  <mo maxsize="100%">)</mo>
</mrow>

<mrow>
  <mi> x </mi>
  <munder>
    <mo> → </mo>
    <mtext> maps to </mtext>
  </munder>
  <mi> y </mi>
</mrow>

mtext 元素用于表示应按原样渲染的任意文本。一般而言，mtext 元素用于表示注释性文本。

需要注意的是，具有明确定义记法角色的文本可能更适合使用 mi 或 mo 标记。

mtext 元素也可以包含 可渲染空白，即旨在改变周围元素排布的不可见字符。在非图形媒介中，这些字符也应有类似效果，比如在音频渲染器中引入或减少时延、影响节奏等。但请参见 2.1.7 输入空白折叠。

mtext 元素可接受 3.2.2 标记元素通用的数学样式属性 中列出的属性。

另见关于 类空白元素 合法分组的警告，详见 3.2.7 空白 <mspace/>，以及相关元素用于微调时的警告，参见 [MathML-Notes]。

mspace 空元素表示任意大小的空白，由其属性设定。它也可用于向视觉渲染器建议换行位置。注意其属性的默认值被选为通常不会影响渲染，因此一般需要显式指定一个或多个属性值后才使用 mspace 元素。

请注意下面关于类空白元素合法分组的警告，以及在 [MathML-Notes] 中关于用此类元素微调的警告。另见其它可渲染为空白的元素，如 mtext、mphantom 和 maligngroup。

除下表列出的属性外， mspace 元素还接受 3.2.2 标记元素通用的数学样式属性中描述的属性，但需注意 mathvariant 和 mathcolor 无效，而 mathsize 仅影响尺寸属性中的单位解释（详见 2.1.5.2 长度值属性）。 mspace 还接受 3.2.5.2.3 缩进属性中描述的属性。

换行最初是在 MathML2 的 mspace 上指定，但在 MathML 3 增加了对 mo 换行和缩进的更强控制。MathML 4 中已不推荐在 mspace 上指定换行行为。

许多 MathML 呈现元素是 类空白 元素，即它们通常渲染为空白，不影响它们出现的表达式的数学意义。因此，这些元素在其它 MathML 表达式中通常会有些特殊的表现。例如，类空白元素在建议的 mo 渲染规则（见 3.2.5 运算符、定界符、分隔符或重音 <mo>）中会特殊处理。下列元素被定义为“类空白”：

• 一个 mtext 元素，其内容为空或全部为 Unicode 空白字符；

• 一个 mspace、maligngroup 或 malignmark 元素；

• 一个 mstyle、mphantom 或 mpadded 元素，其所有直接子表达式都是类空白；

• 一个 semantics 元素，其第一个参数存在且为类空白；

• 一个 maction 元素，其被选的子表达式存在且为类空白；

• 一个 mrow，其所有直接子表达式都是类空白。

注意，mphantom 并不一定自动定义为类空白，除非其内容为类空白。这是因为运算符间距会受到相邻元素是否为类空白的影响。由于 mphantom 元素主要用于表达式对齐，运算符与 mphantom 相邻时应像与 mphantom 的内容相邻一样对待，而不是与等尺寸空白区域相邻。

如果作者在现有 MathML 表达式中插入类空白或 mphantom 元素，需注意这些元素确实被计为参数，尤其是用于那些要求参数数量固定或不同参数位置有特殊解释的元素中。

因此，插入到此类 MathML 元素中的类空白元素应与相邻参数一起分组，可通过引入 mrow 实现。例如，若要实现上标底部右侧对齐，表达式

<msup>
  <mi> x </mi>
  <malignmark edge="right"/>
  <mn> 2 </mn>
</msup>

是不合法的，因为 msup 必须有且只有 2 个参数；正确的表达式应该是：

<msup>
  <mrow>
    <mi> x </mi>
    <malignmark edge="right"/>
  </mrow>
  <mn> 2 </mn>
</msup>

另见关于微调的警告，参见 [MathML-Notes]。

ms 元素用于表示将在计算机代数系统或含有 编程语言 的其它系统中被解释的字符串字面量。默认情况下，字符串字面量被双引号包围，周围不添加额外空白。如 3.2.6 文本 <mtext> 所述，普通文本嵌入数学表达式时应使用 mtext 标记，某些情况下可以用 mo 或 mi，但绝不应用 ms。

注意 ms 编码的字符串字面量由mglyph、malignmark等字符组成，而不是传统ASCII字符串。例如，<ms>&amp;</ms> 表示仅包含单个字符 & 的字符串字面量，而 <ms>&amp;amp;</ms> 表示含有 5 个字符的字符串字面量，其中第一个是 &。

ms 元素内容应在渲染时对内容中的某些字符进行可见转义，至少包括左右引号字符，最好也包括空格以外的其它空白字符。目的是让用户能看到该表达式是字符串字面量，并能准确地看清其内容由哪些字符组成。例如，<ms>double quote is "</ms> 可被渲染为 "double quote is \"" 。

和所有标记元素一样，ms 会按照 2.1.7 输入空白折叠 的规则修整并折叠内容中的空白，因此意在保留于内容中的空白应按该节说明进行编码。

ms 元素接受 3.2.2 标记元素通用的数学样式属性中列出的属性，此外还包括：

mrow 或 a 元素用于将任意数量的子表达式分组，通常由一个或多个充当“运算符”的 mo 元素及其作用于一个或多个“运算对象”（operands）的其它表达式组成。

若干元素会自动将其参数视为包含在一个 mrow 元素中。参见关于推断 mrow 的讨论，见 3.1.3 必需参数。另见 mfenced（见 3.3.8 定界对内的表达式 <mfenced>），它实际上可以形成一个将其参数以逗号分隔的 mrow。

mrow 元素通常在视觉上呈现为一行水平排列的参数，在 LTR 方向的上下文中按参数出现的顺序从左到右，或在 RTL 方向的上下文中从右到左。 可使用 dir 属性为特定的 mrow 指定方向性，否则它从上下文继承方向性。对于听觉代理，参数将作为参数渲染的序列依次播放。对于 mo 元素的建议渲染规则中假定，运算符与其运算对象之间的所有水平间距应由 mo 元素（或更一般地，被修饰的运算符）的渲染来添加，而不是由包含它们的 mrow 的渲染来添加。

MathML 同时支持表达式的自动与手动换行（即将过长的表达式拆分为多行）。所有这些换行都发生在 mrow 中，无论它们是在文档中显式标记还是被推断的（见 3.1.3.1 推断的 <mrow>s），尽管换行的控制是通过其它元素上的属性实现的（见 3.1.7 表达式的换行）。

在 MathML 4 中 mrow 与 a 行为相同，但增加了 a 以兼容 MathML Core。MathML Core 仅在 a 元素上支持 href 属性。

mrow 元素除接受 3.1.9 呈现元素共有的属性 中列出的属性外，还接受下表所列属性。

文档作者应按数学解释中对子表达式的分组方式对其进行分组；也就是说，按照表达式的底层“语法树”进行分组。具体地，运算符及其数学参数应出现在同一 mrow 中；只有在语法上可以认为它们共同作用于交错的参数时，例如单一带括号项及其括号、关系运算符链，或由 + 与 - 分隔的项序列，才应在同一 mrow 中直接出现多个运算符。下面给出了精确规则。

正确分组有若干目的：它可改善显示（可能影响间距）；允许更智能的换行与缩进；并简化呈现元素被计算代数系统或语音渲染器做语义解释的可能性。

尽管不正确的分组有时会导致次优渲染，并且常常使得除纯视觉渲染之外的解释变得困难或不可能，但在 MathML 语法中允许使用任何方式对表达式进行 mrow 分组；即渲染器不应假定作者会遵循正确分组的规则。

mfrac 元素用于表示分数。它也可用于标注类似分数的对象，例如二项式系数与勒让德符号。mfrac 的语法为

<mfrac> numerator denominator </mfrac>

mfrac 元素在 numerator 与 denominator 内将 displaystyle 设为 false，或者如果它已经为 false，则将 scriptlevel 增加 1。（参见 3.1.6 Displaystyle 与 Scriptlevel。）

mfrac 元素除接受 3.1.9 呈现元素共有的属性 中列出的属性外，还接受下表列出的属性。若存在分数线，应使用 mathcolor 指定的颜色绘制分数线。

更粗的线（例如 linethickness="thick"）可用于嵌套分数；设置为 "0" 将不绘制分数线，常用于二项式系数的表示。

在 RTL 方向上下文中，分子位于前导端（右侧），分母位于随后（左侧），对角线从右向左向上倾斜（参见 3.1.5.1 数学公式的整体方向性 以澄清）。尽管这种格式是一种既定惯例，但并非普遍遵循；当在 RTL 环境中希望使用正斜线时，应使用替代标记，例如将斜线作为 mo 放在 mrow 中。

这些元素构造根式。msqrt 元素用于平方根，而 mroot 元素用于带指标的根式，例如立方根。这些元素的语法为：

<msqrt> base </msqrt>
<mroot> base index </mroot>

mroot 元素要求恰好 2 个参数。然而，msqrt 接受单一参数，该参数可能是由多个子元素构成的推断 mrow；见 3.1.3 必需参数。 mroot 元素在 index 内将 scriptlevel 增加 2，并将 displaystyle 设为 false，但在 base 内保持这两个属性不变。msqrt 元素在其参数内不改变这两个属性。（参见 3.1.6 Displaystyle 与 Scriptlevel。）

注意在 RTL 方向性中，根号从右侧开始，而对于 mroot，指标也位于右侧。

msqrt 与 mroot 元素接受 3.1.9 呈现元素共有的属性 中列出的属性。根号与上横线应使用 mathcolor 指定的颜色绘制。

mstyle 元素用于对其内容的渲染做样式更改。 作为一个呈现元素，它接受 3.1.9 呈现元素共有的属性 中描述的属性。 此外，它可以接受任何其它呈现元素所接受的属性，但不包括下文所述的某些属性。

mstyle 元素接受单个参数，该参数可能是由多个子元素构成的推断 mrow；见 3.1.3 必需参数。

大致而言，mstyle 元素的效果是改变其包含元素的某个属性的默认值。样式更改以若干方式工作，取决于属性默认值的指定方式。情况如下：

• 有些属性（例如 displaystyle 或 scriptlevel）在未显式设置时从周围上下文继承。在 mstyle 上指定此类属性会设置其子元素将继承的值。除非子元素覆盖该继承值，否则它会传递给子元素，然后继续传递。若子元素通过显式属性设置或自动方式（如对 scriptlevel 常见的那样）覆盖它，则新的（覆盖的）值会传给该元素的子孙，除非再次被覆盖。

• 其它属性（例如 linethickness 在 mfrac 上）具有通常不继承的默认值。也就是说，如果在 mfrac 元素上未设置 linethickness，它通常会使用默认值 medium，即便它被包含在一个设置了该属性的更大的 mfrac 元素中。对于这类属性，在 mstyle 上指定一个值会改变该属性在其作用域内的默认值。其净效果是，用 mstyle 设置该属性值会传播该更改到它所包含的所有元素（直接或间接），除非个别元素显式覆盖该值。与继承属性不同，被显式覆盖的元素的子孙不会因覆盖而影响该属性在其内部的默认值。注意：在 [MathML-Core] 中不支持通过 mstyle 设置这些属性。

• 另一组属性（例如 stretchy 与 form）是从运算符词典信息、在包含的 mrow 中的位置及其它类似数据计算得出。对于这些属性，外层 mstyle 指定的值会覆盖通常计算出的值。注意：在 [MathML-Core] 中不支持通过 mstyle 设置这些属性。

注意，从 mstyle 以任意方式继承的属性值仅当该后代元素没有由该后代元素自身给出该属性值时才影响该后代元素。对任何显式设置该属性的元素，显式指定的值覆盖继承值。唯一的例外是当该属性文档中说明为对该元素上下文或渲染环境所继承值进行增量更改时。

另请注意，上述关于 mstyle 设置的继承与非继承属性的区别仅在该属性在 mstyle 内容中的某些元素上被同时设置且这些元素的子孙也设置该属性时才重要。因此对于像 mathsize 这类只能设置在标记元素（或 mstyle 本身）上的属性，它从不会受此影响。

MathML 指定，当在 mstyle 元素上给出 height、depth 或 width 时，它们仅适用于 mspace 元素，而不作用于 mglyph、mpadded 或 mtable 的对应属性。类似地，当在 mstyle 上指定 rowalign 或 columnalign 时，它们仅适用于 mtable，而不适用于 mtr、mtd 与 maligngroup。当使用 mstyle 设置 lspace 属性时，它仅适用于 mo 元素，而不适用于 mpadded。为一致性，mpadded 的 voffset 属性不能在 mstyle 上设置。当使用 mstyle 设置 align 属性时，它仅适用于 munder、mover 与 munderover 元素，而不适用于 mtable 与 mstack 元素。mglyph 的 src 与 alt，以及 maction 的 actiontype，不能在 mstyle 上设置。

作为呈现元素，mstyle 可以直接接受 mathcolor 与 mathbackground 属性。因此，mathbackground 指定用于填充 mstyle 元素自身包围盒的颜色；它并不指定默认背景色。

merror 元素将其内容作为一个错误信息来显示。例如，可以通过将内容显示为红色、闪烁或改变背景色来实现。其内容可以是任意表达式或表达式序列。

merror 接受单个参数，该参数可能是由多个子元素构成的推断 mrow；见 3.1.3 必需参数。

此元素的意图是为从其它输入生成 MathML 的程序提供一种标准方式来报告其输入中的语法错误。鉴于预计会开发用于解析便于手工输入的语法并生成 MathML 的预处理器，重要的是它们能够在某一位置指示发生语法错误。见 D.2 错误处理。

建议的用法是：预处理器在遇到错误时，用包含错误描述的 merror 元素替换其输入中有问题的部分，同时尽可能正常处理周围的表达式。如此一来，错误信息将显示在原本有错误输入的位置，便于作者从渲染的输出中判断输入中哪一部分有误。

此处并未建议特定的错误消息格式，但像其它程序的错误信息一样，其格式应旨在尽可能清楚地向查看渲染错误信息的人说明输入哪里有误以及如何修复。如果有错误的输入包含格式正确的子段，预处理器可以正常预处理这些子段并将其包含在错误信息中（作为 merror 元素的内容），利用 merror 可以包含任意 MathML 表达式的能力，而不仅仅是文本。

merror 元素接受 3.1.9 呈现元素共有的属性 中列出的属性。

mpadded 元素以与其子内容相同的方式渲染该内容，但根据 mpadded 的属性修改子元素包围盒的尺寸及其内容的相对定位点。它不会对内容进行缩放（伸展或收缩）。该元素名反映了 mpadded 典型用法是向其内容周围添加填充或额外空白。然而，mpadded 也可用于更一般的尺寸与定位调整，有些组合（例如负填充）可能导致 mpadded 的内容与相邻内容发生重叠。有关若干潜在陷阱的警告见 [MathML-Notes]。

mpadded 元素接受单个参数，该参数可能是由多个子元素构成的推断 mrow；见 3.1.3 必需参数。

建议听觉渲染器基于表示水平空间的属性（width 与 lspace）来增加或缩短时间延迟。

mpadded 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。

这些属性指定 mpadded 元素的包围盒的尺寸相对于其子内容包围盒的尺寸，并指定子内容相对于 mpadded 元素自然定位的定位点的位置。由这些属性决定的排版布局参数在下一小节中描述。根据属性值的形式，维度可以被设置为新值，或相对于子内容的相应维度指定。值可以使用所谓的伪单位作为子内容正常渲染各维度的倍数或百分比给出，或者可以使用标准单位直接设置，参见 2.1.5.2 长度值属性。

对应的维度被设置为以下长度值。指定会产生负值的长度对这些属性具有与将属性设为零相同的效果。换言之，mpadded 元素的有效包围盒始终具有非负的维度。然而，lspace 与 voffset 这类相对定位属性允许负值。

mpadded 元素的内容定义了一个数学记法片段，例如字符、分数或表达式，该片段可被视为一个具有自然定位点并相对于其自然包围盒定位的单一排版元素。

mpadded 元素的包围盒尺寸定义为其内容包围盒的尺寸，除非被 mpadded 元素的 height、depth 与 width 属性修改。子内容的自然定位点位于与 mpadded 元素的自然定位点重合的位置，除非被 lspace 与 voffset 属性修改。因此，mpadded 的尺寸属性可以用来扩展或缩小其内容的表观包围盒，而位置属性可以用来相对于包围盒移动内容（从而也影响相邻元素）。注意 MathML 并未定义“墨迹”、“包围盒”与定位点之间的精确关系，这些是实现相关的。因此，mpadded 属性的绝对值在实现间可能不可移植。

height 属性指定 mpadded 元素包围盒基线以上的垂直范围。增大 height 会增加 mpadded 元素的基线与上方内容之间的空间，并在子内容渲染上方引入填充。减小 height 会减少基线与上方内容之间的空间，移除子内容上方的空间。减小 height 可能导致位于 mpadded 元素上方的内容与子内容渲染重叠，应尽量避免。

depth 属性指定 mpadded 元素包围盒基线以下的垂直范围。增大 depth 会增加基线与下方内容之间的空间，并在子内容渲染下方引入填充。减小 depth 会减少基线与下方内容之间的空间，并移除子内容下方的空间。减小 depth 可能导致位于 mpadded 元素下方的内容与子内容渲染重叠，应尽量避免。

width 属性指定 mpadded 元素的定位点与后续内容定位点之间的水平距离。增大 width 会增加该定位点与随后内容之间的空间，并在子内容渲染后引入填充。减小 width 会减少定位点与随后内容之间的空间，并移除子内容渲染后的空白。将 width 设为零会使随后内容位于 mpadded 元素的定位点处。减小 width 通常应避免，因为它可能导致随后内容的重印。

lspace 属性（“前导”空白；见 3.1.5.1 数学公式的整体方向性）指定子内容定位点相对于 mpadded 元素定位点的水平位置。默认情况下二者重合，因此 lspace 的绝对值与相对值具有相同效果。正值会增加前一内容与子内容之间的空间，并在子内容渲染前引入填充。负值会减少前一内容与子内容之间的空间，可能导致前一内容与子内容发生重印，应尽量避免。注意 lspace 不影响 mpadded 元素的 width，因此 lspace 也会影响子内容与随后内容之间的空间，可能导致与随后内容重印，除非相应调整 width。

voffset 属性指定子内容定位点相对于 mpadded 元素定位点的垂直位置。正值会将子内容渲染抬高到基线之上；负值会将子内容渲染降低到基线之下。在任一情况下，voffset 可能导致与邻近内容重印，应尽量避免。注意 voffset 不影响 mpadded 的 height 或 depth，因此 voffset 也会影响子内容与邻近内容之间的空间，除非相应调整 height 或 depth。

MathML 渲染器应确保，除了属性的影响之外，将某个 mpadded 元素替换为具有相同内容的 mrow 元素时，其内容与周围 MathML 元素之间的相对间距不会被修改，即便在 mpadded 元素内发生换行。MathML 并未定义 mpadded 的非默认属性值如何与换行算法相互作用。

mphantom 元素以不可见的方式渲染，但保留其内容若正常渲染时的相同尺寸与其它维度，包括基线位置。mphantom 可用于通过不可见复制子表达式来对表达式的部分进行对齐。

mphantom 元素接受单个参数，该参数可能是由多个子元素构成的推断 mrow；见 3.1.3 必需参数。

注意可以将 mphantom 与 mpadded 同时包裹在某个 MathML 表达式周围，例如 <mphantom><mpadded attribute-settings> ... </mpadded></mphantom>，以在改变尺寸的同时使其不可见。

MathML 渲染器应确保，当将某个 mphantom 元素替换为具有相同内容的 mrow 元素时，其内容与周围 MathML 元素之间的相对间距保持不变。即便在 mphantom 内发生换行时也应如此。

为上述原因，mphantom 并不 被自动视为类空白元素（见 3.2.7 空白 <mspace/>），除非其内容本身为类空白。这是因为运算符间距会受到相邻元素是否为类空白的影响。即便如此，关于类空白元素合法分组的警告可能也适用于 mphantom 的使用。

mphantom 元素接受 3.1.9 呈现元素共有的属性 中列出的属性（其中 mathcolor 无效）。

mfenced 元素提供了一种便捷形式来表达常见的包含定界符（如花括号、方括号与圆括号）的构造，可在参数之间包含分隔符（例如逗号）。

例如 <mfenced> <mi>x</mi> </mfenced> 渲染为 (x)，并等价于

<mrow> <mo> ( </mo> <mi>x</mi> <mo> ) </mo> </mrow>

且 <mfenced> <mi>x</mi> <mi>y</mi> </mfenced> 渲染为 (x, y)，并等价于

<mrow>
  <mo> ( </mo>
  <mrow> <mi>x</mi> <mo>,</mo> <mi>y</mi> </mrow>
  <mo> ) </mo>
</mrow>

个别的定界符或分隔符用 mo 元素表示，如 3.2.5 运算符、定界符、分隔符或重音 所述。因此，任何 mfenced 元素都完全等价于下文所述的展开形式。

支持此建议的渲染器必须以完全相同的方式渲染上述任一形式。注意虽然 mfenced 对作者或创作软件更为方便，但仅有使用展开形式的 mrow 在 [MathML-Core] 中被支持。

一般而言，mfenced 元素可以包含零个或多个参数，并将在一个 mrow 中用定界符包围它们；若有多个参数，它将在相邻参数之间插入分隔符，使用额外的嵌套 mrow 将参数与分隔符正确分组（见 3.3.1 水平分组子表达式 <mrow>, <a>）。下面给出一般的展开形式。定界符与分隔符默认分别为圆括号与逗号，但可以如下表所示通过属性更改。

mfenced 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。定界符与分隔符应使用 mathcolor 指定的颜色绘制。

一个带有所有属性显式指定的通用 mfenced 元素如下：

<mfenced open="opening-fence"
         close="closing-fence"
         separators="sep#1 sep#2 ... sep#(n-1)" >
  arg#1
  ...
  arg#n
</mfenced>

在 RTL 方向性上下文中，由于初始文本方向为 RTL，open 与 close 属性中的字符若存在镜像对应，则会以镜像形式渲染。特别是，默认值在 LTR 与 RTL 环境下都会正确渲染为带括号的序列。

以上一般的 mfenced 等价于下述展开形式：

<mrow>
  <mo fence="true"> opening-fence </mo>
  <mrow>
    arg#1
    <mo separator="true"> sep#1 </mo>
    ...
    <mo separator="true"> sep#(n-1) </mo>
    arg#n
  </mrow>
  <mo fence="true"> closing-fence </mo>
</mrow>

每个参数（除最后一个外）后跟一个分隔符。为了正确分组而添加了内部 mrow，如 3.3.1 水平分组子表达式 所述。

当只有一个参数时，上述形式没有分隔符；由于 <mrow> arg#1 </mrow> 等价于 arg#1，该情形也等同于：

<mrow>
  <mo fence="true"> opening-fence </mo>
    arg#1
  <mo fence="true"> closing-fence </mo>
</mrow>

若分隔字符过多，则多余的被忽略。若提供了分隔符字符但不足以覆盖所有所需分隔位，则重复使用最后一个分隔符。因此，默认的 separators="," 等价于 separators=",,"、separators=",,," 等。如果未提供任何分隔字符但需要分隔（例如 separators=" " 或 "" 且参数超过一个），则不插入任何分隔符元素——即，元素 <mo separator="true"> sep#i </mo> 完全省略。注意这与插入内容为空的 mo 元素不同。

最后，对于无参数的情形，即

<mfenced open="opening-fence"
 close="closing-fence"
 separators="anything" >
</mfenced>

其等价的展开形式被定义为只在一个 mrow 中包含括号：

<mrow>
  <mo fence="true"> opening-fence </mo>
  <mo fence="true"> closing-fence </mo>
</mrow>

注意并非所有“带定界的表达式”都能用 mfenced 编码。此类例外包括那些使用被修饰的分隔符或定界符或以 mstyle 包围的定界表达式、缺失或额外的分隔符或定界符、或具有多个内容字符的分隔符。在这些情形下，需要使用相应修改的展开形式来编码表达式。正如上文所述，即使不必要，直接使用展开形式也是允许的。特别地，作者不能保证 MathML 预处理器不会将 mfenced 替换为等价的展开形式。

注意上述等价的展开形式在 mo 元素上包含了识别它们为定界符或分隔符的属性。由于最常用的定界符与分隔符在运算符词典中已以这些属性存在，作者在直接使用展开形式时通常无需显式指定这些属性。此外，默认的 form 属性规则（见 3.2.5 运算符、定界符、分隔符或重音）使开闭定界符被有效赋予 form="prefix" 与 form="postfix"，分隔符被赋予 form="infix"。

注意不要将 mfenced 与例如 + 作为分隔符一起使用，来缩写把 + 当作普通运算符的表达式，例如：

<mrow>
  <mi>x</mi> <mo>+</mo> <mi>y</mi> <mo>+</mo> <mi>z</mi>
</mrow>

这是错误的，因为这些 + 将被视为分隔符，而非中缀运算符。也就是说，它将如同被标注为 <mo separator="true">+</mo> 一样渲染，可能因此不恰当地呈现。

menclose 元素将其内容渲染在由其 notation 属性指定的包围记法中。menclose 接受单个参数，该参数可能是由多个子元素构成的推断 mrow；见 3.1.3 必需参数。

menclose 元素接受下表列出的属性，除此之外还接受在 3.1.9 呈现元素共有的属性 中指定的属性。 记法应使用由 mathcolor 指定的颜色绘制。

notation 允许的取值是开放式的。 符合规范的渲染器可以忽略它们不支持的任何值，尽管鼓励渲染器尽可能实现下文列出的值。

可以为 notation 指定任意数量的以空白分隔的值；所有被 MathML 渲染器理解的值都应被渲染。 每一种记法应当像其它记法不存在那样单独渲染；它们不应相互嵌套。例如， notation="circle box" 应该在 menclose 的内容周围同时绘制圆与矩形；圆与矩形可以重叠。下文第一个示例展示了这一点。 在预定义的记法中，只有 phasorangle 会受方向性的影响（见 3.1.5.1 数学公式的整体方向性）：

当 notation 指定为 actuarial 时，内容应被精算符号包围。使用值 top right 也可以获得类似结果。

值 box、 roundedbox 与 circle 应按其含义包围内容。盒子或圆与内容之间的距离由 MathML 未加以规定，由渲染器决定。实践中，水平方向两侧各约 0.4em、垂直方向约 0.5ex 的填充通常效果良好。

值 left、 right、top 与 bottom 应在内容的相应侧绘制线条。值 northeastarrow、 updiagonalstrike、 downdiagonalstrike、verticalstrike 与 horizontalstrike 应将相应的划线叠加在 menclose 的内容上，例如 updiagonalstrike 应从左下角到右上角划线，等等。

值 northeastarrow 是推荐实现的值，因为它可用于实现 TeX 的 \cancelto 命令。如果渲染器为 menclose 实现了其它箭头，建议为一致性与标准化，从下列完整名称集中选择箭头名称：

• uparrow

• rightarrow

• downarrow

• leftarrow

• northwestarrow

• southwestarrow

• southeastarrow

• northeastarrow

• updownarrow

• leftrightarrow

• northwestsoutheastarrow

• northeastsouthwestarrow

值 madruwb 应生成表示阿拉伯阶乘的包围记法（“madruwb” 是阿拉伯语 مضروب 的音译，表示阶乘）。 这在下面的第三个示例中有展示。

menclose 元素的基线是其子元素的基线（子元素可能是一个隐含的 mrow）。

msub 元素使用语法将下标附加到基上

<msub> base subscript </msub>

它在 subscript 内将 scriptlevel 增加 1，并将 displaystyle 设为 false，但在 base 内保持这两个属性不变。（参见 3.1.6 Displaystyle and Scriptlevel。）

msub 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。

msup 元素使用语法将上标附加到基上

<msup> base superscript </msup>

它在 superscript 内将 scriptlevel 增加 1，并将 displaystyle 设为 false，但在 base 内保持这两个属性不变。（参见 3.1.6 Displaystyle and Scriptlevel。）

msup 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。

msubsup 元素用于将下标和上标同时附加到基表达式。

<msubsup> base subscript superscript </msubsup>

它在 subscript 与 superscript 内将 scriptlevel 增加 1，并将 displaystyle 设为 false，但在 base 内保持这两个属性不变。（参见 3.1.6 Displaystyle and Scriptlevel。）

注意两者的位置：两脚本紧贴基定位，如下所示 $x_1^2$ 与嵌套脚本错列定位的对比如下 ${x_1}^2$； 后者可通过在 msup 内嵌套一个 msub 来实现。

msubsup 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。

munder 元素使用语法将放在基下方的重音或极限附加到基上

<munder> base underscript </munder>

它在 underscript 内始终将 displaystyle 设为 false，但仅当 accentunder 为 false 时才将 scriptlevel 增加 1。在 base 内，它始终保持这两个属性不变。（参见 3.1.6 Displaystyle and Scriptlevel。）

如果 base 是具有 movablelimits=true 的运算符（或其修饰运算符的 mo 核心具有该属性），并且 displaystyle=false，那么 underscript 将以下标位置绘制。在这种情况下，忽略 accentunder 属性。这通常用于诸如 U+2211（实体 sum）之类符号的极限。

munder 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。

除非 underscript 是一个 mo 元素或一个被修饰的运算符，否则 accentunder 的默认值为 false。如果 underscript 是 mo 元素，则其 accent 属性的值用作 accentunder 的默认值。如果 underscript 是被修饰的运算符，则使用其核心 mo 元素的 accent 属性作为默认值。与所有属性一样，显式给定的值会覆盖默认值。

[MathML-Core] 不支持在 3.2.5 Operator, Fence, Separator or Accent <mo> 上使用 accent 属性。为与 MathML Core 兼容，应在 munder 上设置 accentunder。

mover 元素使用语法将放在基上方的重音或极限附加到基上

<mover> base overscript </mover>

它在 overscript 内始终将 displaystyle 设为 false，但仅当 accent 为 false 时才将 scriptlevel 增加 1。在 base 内，它始终保持这两个属性不变。（参见 3.1.6 Displaystyle and Scriptlevel。）

如果 base 是具有 movablelimits=true 的运算符（或其修饰运算符的 mo 核心具有该属性），并且 displaystyle=false，那么 overscript 将以上标位置绘制。在这种情况下，忽略 accent 属性。这通常用于诸如 U+2211（实体 sum）之类符号的极限。

mover 元素除接受 3.1.9 呈现元素共有的属性 中指定的属性外，还接受下表所列属性。