MathML 核心

如果元素的计算 display 属性不等于 block math 或 inline math， 则按照描述相应值的 CSS 规范 对其进行布局。 否则，执行以下布局。

如果 <mtext> 元素仅包含 不带 强制换行 或 软换行机会 的文本内容， 则为该文本生成的匿名子节点 按照相关 CSS 规范中的定义进行布局，并且：

• 数学内容盒的最小内容行内大小、 最大内容行内大小和行内大小 等于匿名子节点的相应值。
• 数学内容盒的墨迹行上升量和墨迹行下降量 设置为使其 墨迹上方基线、墨迹下方基线 和字母基线与文本 墨迹边界框的相应基线匹配。
• 数学内容盒的行上升量 （相应地，行下降量）设置为墨迹行上升量 （相应地，墨迹行下降量）。
• 如果文本内容由单个字形组成，并且该字形 在 MathItalicsCorrectionInfo 表中有条目，则 使用指定的 值作为斜体校正。
• 如果文本内容由单个字形组成，并且该字形 在 MathTopAccentAttachment 表中有条目， 则使用指定值作为 <mtext> 元素的顶部重音附着点。

否则，mtext 元素作为 块盒 进行布局，并使用相应的最小内容行内大小、 最大内容行内大小、 行内大小、块大小、 第一基线集和最后基线集 作为数学内容盒的相应值。

如果一个 MathML Core 元素满足以下条件之一，则它是 修饰运算符：

1. 一个 mo 元素；
2. 一个带标记元素或 mfrac， 其第一个流内子元素存在，并且是 修饰运算符；
3. 一个分组元素或 mpadded， 其流内子元素由（以任意顺序排列的）一个 修饰运算符和零个或多个 类空白元素组成。

修饰运算符的 核心运算符 是按如下方式递归定义的 <mo> 元素：

1. mo 元素的核心运算符就是该元素本身。
2. 修饰的 带标记元素或 mfrac 元素的核心运算符是其第一个流内子元素的核心运算符。
3. 修饰的 分组元素或 mpadded 的核心运算符，是其唯一的修饰运算符 流内子元素的核心运算符。

如果一个修饰运算符的 核心运算符仅包含 由单个字符 c 组成的文本内容，并且该字符具有 行内固有拉伸轴， 则该修饰运算符的 拉伸轴为行内。 否则，修饰运算符的拉伸轴 为块。

相同定义也适用于 视觉格式化模型中的盒，其中 匿名 <mrow> 盒被视为 分组元素。

修饰运算符的 form 属性为 infix、prefix 或 postfix 之一。 mo 元素上对应的 form 属性 如果存在，则必须 不区分 ASCII 大小写地 匹配这些值之一。

用于确定 修饰运算符的 form 的算法如下：

1. 如果 核心运算符上存在有效的 form 属性， 则使用其 ASCII 小写值。
2. 如果修饰运算符是一个 分组元素、 mpadded 或 msqrt 的第一个流内子元素，并且该元素有多个流内子元素 （忽略所有类空白子元素），则其 form 为 prefix。
3. 或者，如果修饰运算符是一个 分组元素、 mpadded 或 msqrt 的最后一个流内子元素，并且该元素有多个流内子元素 （忽略所有类空白子元素），则其 form 为 postfix。
4. 或者，如果修饰运算符是 带标记元素的流内子元素， 但不是第一个 流内 子元素，则其 form 为 postfix。
5. 否则，修饰运算符的 form 为 infix。

修饰运算符的 stretchy、 symmetric、 largeop、 movablelimits 属性为 false 或 true。 在后一种情况下， 称该修饰运算符具有该 属性。 mo 元素上对应的 stretchy、symmetric、largeop、movablelimits 属性如果存在，则必须为 布尔值。

修饰运算符的 lspace、 rspace、 minsize 属性为 <length-percentage>。 修饰运算符的 maxsize 属性为 <length-percentage> 或 ∞。 mo 元素上的 lspace、 rspace、 minsize 和 maxsize 属性如果存在， 则必须为 <length-percentage>。

用于确定 修饰运算符属性的算法如下：

1. 如果 核心运算符上存在有效的对应 stretchy、 symmetric、 largeop、 movablelimits、 lspace、 rspace、 maxsize 或 minsize 属性，则使用该属性的 ASCII 小写值。
2. 否则，运行用于 确定修饰运算符的 form 的算法。
3. 如果核心运算符仅包含文本 内容 Content，则将 Category 设置为 用于确定 运算符类别的算法 (Content, Form) 的结果，其中 Form 是上一步计算出的 form。
4. 如果 Category 为 Default，并且 修饰运算符的form 没有作为其核心 运算符上的属性被显式 指定：
   1. 将 Category 设置为 用于 确定运算符类别的算法 (Content, Form) 的结果，其中 Form 为 infix。
   2. 如果 Category 为 Default，则 再次运行该算法，并将 Form 设置为 postfix。
   3. 如果 Category 为 Default，则 再次运行该算法，并将 Form 设置为 prefix。
5. 运行 用于 根据运算符的类别设置其 属性的算法 Category。

在布局期间使用时， stretchy、 symmetric、 largeop、 movablelimits、 lspace、 rspace、 minsize 的值通过 用于 确定修饰运算符属性的算法获得，并进行以下额外 解析：

• lspace、 rspace 的百分比值 相对于从字典读取的值 或上述回退值进行解释。
• minsize 和 maxsize 百分比值的解释在 3.2.4.3 运算符的 布局中描述。
• lspace、rspace、 minsize 和 maxsize 的字体相对长度 依赖核心运算符的 字体样式，而不是 修饰运算符的字体样式。

如果 <mo> 元素的计算 display 属性不等于 block math 或 inline math， 则按照描述相应值的 CSS 规范 对其进行布局。 否则，执行以下布局。

仅当 <mo> 元素的 visibility 为 visible 时， 才必须绘制运算符文本。 在这种情况下，必须使用 <mo> 元素的 color 进行绘制。

运算符按如下方式布局：

1. 如果 <mo> 元素的内容 不是由单个字符 c 组成， 则回退到 3.2.1.1 <mtext> 的布局算法。
2. 如果运算符具有stretchy 属性：
   • 如果运算符的拉伸轴为行内：
     1. 如果无法使用 第一个可用字体 在行内方向 塑造可拉伸字形 以对应 c， 则回退到 3.2.1.1 <mtext> 的布局算法。
     2. 数学内容的最小内容行内大小和 最大内容行内大小 设置为通过 3.2.1.1 <mtext> 的布局算法获得的相应值。
     3. 如果不存在 行内拉伸大小 约束 Tinline， 则 回退到 3.2.1.1 <mtext> 的布局算法。
     4. 数学内容的行内大小和（墨迹）块度量 由将 可拉伸 字形塑造到行内尺寸 Tinline 的算法给出。
     5. 运算符的绘制由 塑造 可拉伸字形的算法执行， 将其拉伸到行内尺寸 Tinline，并绘制在 由前述盒度量确定的位置。
   • 否则，运算符的拉伸轴为 块。执行以下步骤：
     1. 如果无法使用 第一个可用字体 在块方向 塑造可拉伸字形 以对应 c， 则回退到 3.2.1.1 <mtext> 的布局算法。
     2. 数学内容的最小内容行内大小和 最大内容行内大小 设置为 沿块轴拉伸的 字形的首选行内大小。
     3. 如果不存在 块拉伸大小 约束 (Uascent, Udescent)， 则 回退到 3.2.1.1 <mtext> 的布局算法。
     4. 如果运算符具有symmetric 属性， 则分别将目标大小 Tascent 和 Tdescent 设置为 Sascent 和 Sdescent：
        • Sascent = max( Uascent − AxisHeight, Udescent + AxisHeight ) + AxisHeight
        • Sdescent = max( Uascent − AxisHeight, Udescent + AxisHeight ) − AxisHeight
        否则，分别将它们设置为 Uascent 和 Udescent。
        注

        属性 Tascent − AxisHeight = Tdescent + AxisHeight 表示 一个恰好在基线上方拉伸 Tascent， 并在基线下方拉伸 Tdescent 的运算符， 实际上会在 数学轴的上方 和下方对称拉伸。 Sascent 和 Sdescent 是分别 不小于 Uascent 和 Udescent，且满足 此属性的最小值。
     5. 令 minsize 和 maxsize 分别为运算符上的 minsize 和maxsize 属性。百分比值相对于 c 的字形高度进行解释。 令 T = Tascent + Tdescent 为目标大小。 如果 minsize < 0，则将 minsize 设置为 0。 如果 maxsize < minsize，则 将 maxsize 设置为 minsize。 在 0 ≤ minsize ≤ maxsize 时：
        • 如果 T ≤ 0，则将 Tascent 设置为 minsize / 2 + AxisHeight，然后 将 Tdescent 设置为 minsize − Tascent。
        • 否则，如果 0 < T < minsize， 则将 Tascent 设置为 max(0, (Tascent − AxisHeight) × minsize / T + AxisHeight)，并将 Tdescent 设置为 minsize − Tascent。
        • 否则，如果 maxsize < T， 则将 Tascent 设置为 max(0, (Tascent − AxisHeight) × maxsize / T + AxisHeight)，并将 Tdescent 设置为 maxsize − Tascent。
        注

        默认 maxsize 值 ∞ 在上文中被 解释为大于任何其他大小，即 minsize ≤ maxsize 始终为 true，而 maxsize < minsize 和 maxsize < T 始终为 false。
        注

        此步骤确保条件 minsize ≤ T ≤ maxsize 成立。 此外，如果目标值对应于相对于 数学轴的对称 拉伸，则属性 Tascent − AxisHeight = Tdescent + AxisHeight 会保持不变。
     6. 数学内容的行内大小、 墨迹行上升量、 墨迹行下降量、 行上升量和 行下降量 由将 可拉伸 字形塑造到块尺寸 Tascent + Tdescent 的算法获得。 数学内容的行内大小是 可拉伸字形的宽度。可拉伸字形向 行下方偏移值 Δ，使其 中心与目标中心对齐： 数学内容的墨迹上升量为 可拉伸字形的上升量 − Δ， 数学内容的墨迹下降量为 可拉伸字形的下降量 + Δ。 这些中心的坐标为“½(上升量 − 下降量)”， 因此 Δ = [(可拉伸字形的上升量 − 可拉伸字形的下降量) − (Tascent − Tdescent)] / 2。
     7. 运算符的绘制由 塑造 可拉伸字形的算法执行， 将其拉伸到块尺寸 Tascent + Tdescent， 并绘制在由前述盒度量确定的位置， 再向行上方偏移 Δ。

     

3. 如果运算符具有largeop 属性，并且 <mo> 元素上的 math-style 为 normal， 则：

   1. 使用 MathVariants 表尝试查找高度至少为 DisplayOperatorMinHeight 的字形。 如果未找到，则回退到 最大的非基本字形。如果仍未找到，则回退到 3.2.1.1 <mtext> 的布局算法。

   2. 数学内容的最小内容行内大小、 最大内容行内大小、 行内大小和块度量 由找到的 字形给出。
   3. 绘制该字形。

   

4. 否则，回退到 3.2.1.1 <mtext> 的布局算法。

如果上述某一步使用了 塑造可拉伸字形的算法， 则数学内容的 斜体校正 设置为该算法返回的值。

若干 MathML 表现元素是“类空白”的， 也就是说，它们通常渲染为空白，并且不会影响 它们所在表达式的数学含义。 因此，这些元素在其他 MathML 表达式中通常 以某种特殊方式发挥作用。

如果一个 MathML Core 元素满足以下条件之一，则它是 类空白元素：

1. 一个 mtext 或 mspace；
2. 或者一个 分组元素或 mpadded， 其所有流内子元素都是类空白元素。

相同定义也适用于 视觉格式化模型中的盒，其中 匿名 <mrow> 盒被视为 分组元素。

沿块轴拉伸运算符的 算法 包括以下步骤：

1. 如果存在块拉伸大小 约束 或行内拉伸大小约束， 则正在布局的元素是 修饰运算符。使用相同的拉伸大小约束 对其中作为修饰运算符的那个 流内子元素进行布局， 并在没有任何拉伸大小约束的情况下 对所有其他流内子元素进行布局， 然后停止。
2. 否则， 将流内子元素列表拆分为第一个列表 LToStretch，其中包含 具有stretchy 属性和块拉伸轴的 修饰运算符； 以及第二个列表 LNotToStretch。
3. 在没有任何拉伸大小约束的情况下，对 LNotToStretch 中的所有项目执行布局。 如果 LToStretch 为空，则停止。 如果 LNotToStretch 为空，则对 LToStretch 中的所有项目 使用块拉伸大小 约束 (0, 0) 执行布局。
4. 分别计算无约束目标大小 Uascent 和 Udescent，其值分别为 上一步中已布局的流内子元素的 外边距盒的最大墨迹上升量和最大墨迹下降量。
5. 使用 块拉伸大小约束 (Uascent, Udescent) 对 LToStretch 中的所有元素进行布局或重新布局。

如果该盒不是匿名 <mrow> 盒， 并且关联元素的计算 display 属性不等于 block math 或 inline math， 则按照描述相应值的 CSS 规范 对其进行布局。 否则，执行以下布局。

如果一个子盒不是 修饰运算符 并且具有非零斜体校正， 则该子盒是倾斜的。

最小内容行内大小 （相应地为最大内容行内大小）使用 以下算法计算：

1. 如果该盒对应于 math 元素 或者不是 修饰运算符， 则将 add-space 设置为 true；否则设置为 false。
2. 将 inline-offset 设置为 0。
3. 将 previous-italic-correction 设置为 0。
4. 对于每个流内子元素：
   1. 如果子元素不是倾斜的，则将 inline-offset 增加 previous-italic-correction。
   2. 如果子元素是修饰 运算符 并且 add-space 为 true，则将 inline-offset 增加 其lspace 属性的值。
   3. 将 inline-offset 增加 子元素外边距盒的最小内容行内大小 （相应地为最大内容行内大小）。
   4. 如果子元素是倾斜的，则 将 previous-italic-correction 设置为 其斜体校正。否则将其设置为 0。
   5. 如果子元素是修饰 运算符 并且 add-space 为 true，则将 inline-offset 增加 其rspace 属性的值。
5. 将 inline-offset 增加 previous-italic-correction。
6. 返回 inline-offset。

使用 沿块轴 拉伸运算符的算法 对流内子元素进行布局。

数学内容的行内大小按照与 数学内容的最小内容行内大小和 最大内容行内大小相同的方式计算， 但改用 流内子元素的外边距盒的行内大小。

数学内容的墨迹行上升量（相应地为行上升量） 是所有流内子元素的外边距盒的 墨迹行上升量（相应地为行上升量） 中的最大值。类似地， 数学内容的墨迹行下降量（相应地为行下降量） 是所有流内子元素的外边距盒的墨迹行下降量 （相应地为墨迹行上升量） 中的最大值。

使用以下算法定位流内子元素：

1. 如果该盒对应于 math 元素 或者不是 修饰运算符， 则将 add-space 设置为 true；否则设置为 false。
2. 将 inline-offset 设置为 0。
3. 将 previous-italic-correction 设置为 0。
4. 对于每个流内子元素：
   1. 如果子元素不是倾斜的，则将 inline-offset 增加 previous-italic-correction。
   2. 如果子元素是修饰 运算符 并且 add-space 为 true，则将 inline-offset 增加 其lspace 属性的值。
   3. 将子元素的行内偏移 设置为 inline-offset，并设置其块 偏移， 使子元素的字母基线 与字母 基线对齐。
   4. 将 inline-offset 增加 子元素外边距盒的行内大小。
   5. 如果子元素是倾斜的，则 将 previous-italic-correction 设置为 其斜体校正。否则将其设置为 0。
   6. 如果子元素是修饰 运算符 并且 add-space 为 true，则将 inline-offset 增加 其rspace 属性的值。

数学内容的斜体校正设置为最后一个流内子元素的 斜体 校正，即 previous-italic-correction 的最终值。

如果分数线粗细非零，则 <mfrac> 元素按照 图 12所示进行布局。 仅当 <mfrac> 元素的 visibility 为 visible 时， 才必须绘制分数线。 在这种情况下，必须使用 <mfrac> 元素的 color 绘制分数线。

内容的最小内容行内大小 （相应地为最大内容行内大小） 是分子的 外边距盒的最小内容行内大小 （相应地为最大内容行内大小）与分母的 外边距盒的最小内容行内大小 （相应地为最大内容行内大小）之间的最大值。

如果存在行内拉伸大小 约束 或块拉伸大小约束， 则分子也使用相同的拉伸大小 约束进行布局； 否则，它在没有任何拉伸 大小约束的情况下进行布局。分母始终在没有 任何拉伸大小约束的情况下进行布局。

数学内容的行内大小 是分子的外边距盒的行内大小与 分母的外边距盒的行内大小之间的最大值。

NumeratorShift 是以下值中的最大值：

• 如果 math-style 为 compact （相应地为 normal），则为 FractionNumeratorShiftUp（相应地为 FractionNumeratorDisplayStyleShiftUp）。
• AxisHeight + 分数线粗细的一半 + 如果 math-style 为 compact （相应地为 normal），则为 FractionNumeratorGapMin （相应地为FractionNumDisplayStyleGapMin）+ 分子的 外边距盒的墨迹行下降量。

DenominatorShift 是以下值中的最大值：

• 如果 math-style 为 compact （相应地为 normal），则为 FractionDenominatorShiftDown （相应地为 FractionDenominatorDisplayStyleShiftDown）。
• 分数线粗细的一半 + 如果 math-style 为 compact （相应地为 normal），则为 FractionDenominatorGapMin （相应地为FractionDenomDisplayStyleGapMin）+ 分母的外边距盒的 墨迹行上升量 − AxisHeight。

数学内容的行上升量是以下值中的最大值：

• Numerator Shift + 分子的 外边距盒的行上升量。
• −Denominator Shift + 分母的外边距盒的 行上升量
• AxisHeight 加上 分数线粗细的一半。

数学内容的行下降量是以下值中的最大值：

• −Numerator Shift + 分子的 外边距盒的行下降量。
• Denominator Shift + 分母的外边距盒的 行下降量。
• −AxisHeight 加上 分数线粗细的一半。
• 0

分子 （相应地为分母）的 行内偏移 为数学内容行内大小的一半 − 分子的外边距盒的行内大小的一半 （相应地为分母的外边距盒的行内大小的一半）。

分子（相应地为分母）的 字母基线 相对于字母基线偏移 NumeratorShift（相应地为 DenominatorShift）的距离， 朝向行上方（相应地为行下方）。

数学内容盒放置在 内容盒内，使它们的块起始边缘 对齐，并且这些边缘的中点位于相同 位置。

分数线的行内大小为 内容盒的行内大小，其 行内起始边缘与 内容盒的相应边缘对齐。 分数线的中心相对于数学内容盒的字母 基线 朝行上方偏移 AxisHeight 的距离。 它的块大小为 分数线粗细。

如果分数线粗细为零， 则 <mfrac> 元素改为按照 图 13所示进行布局。

数学内容的最小内容行内大小、最大内容行内大小 和行内大小的计算方式与 3.3.2.1 分数线粗细非零的分数中相同。

如果存在行内拉伸大小 约束或 块拉伸大小约束， 则分子也使用相同的拉伸大小 约束进行布局； 否则，它在没有任何拉伸 大小约束的情况下进行布局。分母始终在没有 任何拉伸大小约束的情况下进行布局。

如果 math-style 为 compact， 则 TopShift 和 BottomShift 分别 设置为 StackTopShiftUp 和StackBottomShiftDown。 否则，math-style 为 normal， 并且它们分别设置为StackTopDisplayStyleShiftUp 和StackBottomDisplayStyleShiftDown。

Gap 定义为 （BottomShift − 分母的 外边距盒的墨迹行上升量）+ （TopShift − 分子的 外边距盒的墨迹行下降量）。 如果 math-style 为 compact， 则 GapMin 为 StackGapMin； 否则，math-style 为 normal， 并且它为 StackDisplayStyleGapMin。 如果 Δ = GapMin − Gap 为正，则 TopShift 和 BottomShift 分别增加 Δ/2 和 Δ − Δ/2。

数学内容的行上升量是以下值中的最大值：

• TopShift + 分子的 外边距盒的行上升量。
• −BottomShift + 分母的外边距盒的 行上升量。

数学内容的行下降量是以下值中的最大值：

• −TopShift + 分子的 外边距盒的行下降量。
• BottomShift + 分母的外边距盒的 行下降量。
• 0

分子和分母的 行内偏移 的计算方式与 3.3.2.1 分数线粗细非零的分数中相同。

分子（相应地为分母）的 字母基线 相对于字母基线偏移 TopShift（相应地为 − BottomShift）的距离， 朝向 行上方（相应地为行下方）。

数学内容盒放置在 内容盒内，使它们的块起始边缘 对齐，并且这些边缘的中点位于相同 位置。

仅当 <msqrt> 或 <mroot> 元素的 visibility 为 visible 时， 才必须绘制根号符号。 在这种情况下，必须使用该元素的 color 绘制根号符号。

根号 字形是字符 U+221A SQUARE ROOT 所获得的字形。

如果 math-style 为 compact， 则 根号 间隙由 RadicalVerticalGap 给出；如果 math-style 为 normal， 则由 RadicalDisplayStyleVerticalGap 给出。

可拉伸根号字形的根号目标大小为 RadicalRuleThickness、 根号间隙和基底墨迹高度之和。

根号字形的盒度量 和根号主体的绘制由 塑造可拉伸字形到 根号字形目标大小的块尺寸的算法给出。

<msqrt> 元素按照 图 14所示进行布局。

数学内容的最小内容行内大小 （相应地为最大内容行内大小） 是 根号字形的 沿 块轴拉伸的字形的首选行内大小 与 msqrt 基底的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）之和。

数学内容的行内大小为 根号字形的盒度量的前进宽度 与msqrt 基底的外边距盒的 行内大小之和。

数学内容的行上升量是以下值中的最大值：

• msqrt 基底的 外边距盒的行上升量。
• msqrt 基底的 墨迹行上升量、 根号间隙、RadicalRuleThickness 和RadicalExtraAscender之和。

数学内容的行下降量是以下值中的最大值：

• msqrt 基底的 外边距盒的行下降量。
• 根号字形的盒度量的 行上升量和行下降量 与 RadicalExtraAscender之和，减去 数学内容的行上升量。

上横线的行内大小为 msqrt 基底的外边距盒的行内大小。 msqrt 基底和 上横线的行内偏移也相同， 并且等于 根号字形的盒度量的宽度。

msqrt 基底的字母基线与字母基线对齐。 上横线的块大小为 RadicalRuleThickness。它的垂直中心 相对于字母基线 朝行上方偏移一段距离， 该距离等于数学内容的行上升量，减去 RadicalExtraAscender， 再减去RadicalRuleThickness的一半。

最后，执行根号主体的绘制：

• 位于行内偏移 0 处。
• 位于一个块偏移处，该偏移从 上横线的行上方边缘朝行下方移动， 距离由 根号字形的 盒度量的上升量给出。

<mroot> 元素按照 图 15所示进行布局。 首先忽略mroot 根指数，并按照图 图 14所示， 使用与 3.3.3.2 平方根 中相同的算法，对mroot 基底 和 根号字形进行布局， 以生成一个外边距盒 B（以绿色表示）。

数学内容的最小内容行内大小 （相应地为最大内容行内大小）是以下各项之和： max(0, RadicalKernBeforeDegree)、 mroot 根指数的外边距盒的 mroot 根指数的 最小内容行内大小 （相应地为最大内容行内大小）、 max(−最小内容行内大小, RadicalKernAfterDegree) （相应地为 max(−mroot 根指数的外边距盒的最大内容行内大小, RadicalKernAfterDegree)） 以及 B 的 最小内容行内大小 （相应地为最大内容行内大小）。

使用相同的限制方式， AdjustedRadicalKernBeforeDegree 和 AdjustedRadicalKernAfterDegree 分别 定义为 max(0, RadicalKernBeforeDegree) 和 max(−根指数的外边距盒的行内大小, RadicalKernAfterDegree)。

数学内容的行内大小为 AdjustedRadicalKernBeforeDegree、 根指数的外边距盒的行内大小、 AdjustedRadicalKernAfterDegree 和 B 的行内大小之和。

数学内容的行上升量是以下值中的最大值：

• −B 的行下降量 + RadicalDegreeBottomRaisePercent × B 的块大小 + 根指数的外边距盒的行上升量
• B 的行上升量

数学内容的行下降量是以下值中的最大值：

• B 的行下降量 − RadicalDegreeBottomRaisePercent × B 的块大小 + 根指数的外边距盒的行上升量
• B 的行下降量

根指数的行内偏移为 AdjustedRadicalKernBeforeDegree。 mroot 基底的 inline-offset 等于该值加上 根指数的外边距盒的行内大小。

B 的字母基线与字母基线对齐。 根指数的字母基线相对于 行下方边缘偏移一段距离，该距离为 RadicalDegreeBottomRaisePercent × B 的块大小 + 根指数的外边距盒的行下降量。

mpadded 元素 生成一个匿名 <mrow> 盒，称为 mpadded 内部盒，其参数称为 内部行内大小、内部行上升量和内部行下降量。

请求的 <mpadded> 参数按如下方式确定：

• 请求的 width 是 width 属性解析后的值。 如果 width 属性存在、有效且不是百分比，则 将该属性用作 表现提示， 将元素的 width 属性设置为相应值。
• 如果 height 属性缺失、无效或为百分比，则请求的 height 为内部行上升量。 否则，请求的 height 为 height 属性解析后的值，并将 负值限制为 0。
• 如果 depth 属性缺失、无效或为百分比，则请求的 depth 为内部行上升量。 否则，请求的 depth 为 depth 属性解析后的值，并将 负值限制为 0。
• 如果 lspace 属性缺失、无效或为百分比，则请求的 lspace 为 0。否则，请求的 lspace 为 lspace 属性解析后的值，并将 负值限制为 0。
• 如果 voffset 属性缺失、无效或为百分比，则请求的 voffset 为 0。否则，请求的 voffset 为 voffset 属性解析后的值。
  注

  负的 voffset 值不会被限制为 0。

如果 <mpadded> 元素的计算 display 属性不等于 block math 或 inline math， 则按照描述相应值的 CSS 规范 对其进行布局。 否则，它按照 图 16所示进行布局。

数学内容的最小内容行内大小（相应地为最大内容行内大小） 是在 3.3.6.1 内部盒和请求的参数 中计算出的请求 width， 但使用 mpadded 内部盒的最小内容行内大小 （相应地为最大内容行内大小） 代替“内部行内 大小”。

数学内容的行内大小 是在 3.3.6.1 内部盒和请求的参数中计算出的请求 width。

数学内容的行上升量为请求的 height。 数学内容的行下降量为请求的 depth。

放置mpadded 内部盒时，使其字母基线 相对于字母基线 朝行上方偏移请求的 voffset。

如果 <msub> 元素 少于或多于两个流内子元素，则其布局算法 与 mrow 元素相同。 否则，第一个流内子元素称为 msub 基底， 第二个流内子元素称为 msub 下标，布局算法在 3.4.1.2 带 下标的基底中说明。

如果 <msup> 元素 少于或多于两个流内子元素，则其布局算法 与 mrow 元素相同。 否则，第一个流内子元素称为 msup 基底， 第二个流内子元素称为 msup 上标，布局算法在 3.4.1.3 带 上标的基底中说明。

如果 <msubsup> 元素 少于或多于三个流内子元素，则其布局算法 与 mrow 元素相同。 否则，第一个流内子元素称为 msubsup 基底，第二个流内子元素 称为 msubsup 下标， 第三个流内子元素称为 msubsup 上标，布局算法在 3.4.1.4 带下标和上标的基底中说明。

<msub> 元素按照 图 17所示进行布局。 如果msub 基底 是具有 largeop 属性的修饰运算符， 则 LargeOpItalicCorrection 为其斜体校正，否则为 0。

数学内容的 最小内容行内大小（相应地为最大内容行内大小） 为 msub 基底的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）− LargeOpItalicCorrection + msub 下标的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）+ SpaceAfterScript。

如果存在 行内拉伸大小约束 或块拉伸大小约束， 则msub 基底也使用相同的拉伸大小 约束进行布局；否则在没有任何拉伸 大小约束的情况下进行布局。标记始终在没有 任何拉伸大小约束的情况下进行布局。

数学内容的行内大小 为msub 基底的外边距盒的行内大小 − LargeOpItalicCorrection + msub 下标的外边距盒的行内大小 + SpaceAfterScript。

SubShift 是以下值中的最大值：

• SubscriptShiftDown
• 下标的外边距盒的墨迹行上升量 − SubscriptTopMax
• SubscriptBaselineDropMin + msub 基底的外边距盒的墨迹行下降量

数学内容的行上升量是以下值中的最大值：

• msub 基底的 外边距盒的行上升量。
• 下标的外边距盒的行上升量 − SubShift。

数学内容的行下降量是以下值中的最大值：

• msub 基底的 外边距盒的行下降量。
• 下标的外边距盒的行下降量 + SubShift。

msub 基底的行内偏移为 0，而 msub 下标的行内偏移为msub 基底的外边距盒的行内大小 − LargeOpItalicCorrection。

放置msub 基底时，使其字母基线 与字母基线对齐。放置msub 下标时，使其字母基线 相对于字母基线 朝行下方偏移 SubShift。

<msup> 元素按照 图 18所示进行布局。 如果msup 基底 不是具有 largeop 属性的修饰运算符， 则 ItalicCorrection 为其斜体校正，否则为 0。

数学内容的 最小内容行内大小（相应地为最大内容行内大小） 为 msup 基底的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）+ ItalicCorrection + msup 上标的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）+ SpaceAfterScript。

如果存在 行内拉伸大小约束 或块拉伸大小约束， 则msup 基底也使用相同的拉伸大小 约束进行布局；否则在没有任何拉伸 大小约束的情况下进行布局。标记始终在没有 任何拉伸大小约束的情况下进行布局。

数学内容的行内大小 为msup 基底的外边距盒的行内大小 + ItalicCorrection + msup 上标的外边距盒的行内大小 + SpaceAfterScript。

SuperShift 是以下值中的最大值：

• 如果元素的计算 math-shift 属性等于 compact，则为 SuperscriptShiftUpCramped； 否则为 SuperscriptShiftUp。
• SuperscriptBottomMin + 上标的 外边距盒的墨迹行下降量
• msup 基底的 外边距盒的墨迹行上升量 − SuperscriptBaselineDropMax

数学内容的行上升量是以下值中的最大值：

• msup 基底的 外边距盒的行上升量。
• 上标的外边距盒的行上升量 + SuperShift。

数学内容的行下降量是以下值中的最大值：

• msup 基底的 外边距盒的行下降量。
• 上标的外边距盒的行下降量 − SuperShift。

msup 基底的行内偏移为 0，而 msup 上标的行内偏移为msup 基底的外边距盒的行内大小 + ItalicCorrection。

放置msup 基底时，使其字母基线 与字母基线对齐。放置msup 上标时，使其 字母基线 相对于字母基线 朝行上方偏移 SuperShift。

<msubsup> 元素按照 图 18所示进行布局。 LargeOpItalicCorrection 和 SubShift 按照 3.4.1.2 带下标的基底中的方式设置。 ItalicCorrection 和 SuperShift 按照 3.4.1.3 带上标的基底中的方式设置。

数学内容的 最小内容行内大小（相应地为最大内容行内大小和 行内大小）是 3.4.1.2 带 下标的基底和 3.4.1.3 带 上标的基底中计算出的数学内容 最小内容行内大小（相应地为最大内容行内大小和 行内大小）之间的最大值。

如果存在 行内拉伸大小约束 或块拉伸大小约束， 则msubsup 基底也使用相同的拉伸大小 约束进行布局；否则在没有任何拉伸 大小约束的情况下进行布局。标记始终在没有 任何拉伸大小约束的情况下进行布局。

如果存在 行内拉伸大小约束 或块拉伸大小约束， 则msubsup 基底也使用相同的拉伸大小 约束进行布局；否则在没有任何拉伸 大小约束的情况下进行布局。标记始终在没有 任何拉伸大小约束的情况下进行布局。

SubSuperGap 是两个标记 沿块轴方向之间的间隙，定义为 （SubShift − msubsup 下标的 外边距盒的墨迹行上升量）+ （SuperShift − msubsup 上标的外边距盒的墨迹行下降量）。 如果 SubSuperGap 小于 SubSuperscriptGapMin，则执行 以下步骤以确保满足该条件：

1. 令 Δ 为 SuperscriptBottomMaxWithSubscript −（SuperShift − msubsup 上标的外边距盒的墨迹行下降量）。 如果 Δ > 0，则将 Δ 设置为 Δ 与 SubSuperscriptGapMin − SubSuperGap 之间的最小值，并将 SuperShift（因此 SubSuperGap 也会）增加 Δ。
2. 令 Δ 为 SubSuperscriptGapMin − SubSuperGap。 如果 Δ > 0，则 将 SubscriptShift（因此 SubSuperGap 也会）增加 Δ。

数学内容的墨迹行上升量（相应地为行上升量、墨迹 行下降量、 行下降量） 设置为 3.4.1.2 带 下标的基底和 3.4.1.3 带 上标的基底中计算出的数学内容 墨迹行上升量（相应地为行上升量、墨迹 行下降量、 行下降量）的最大值， 但使用上面调整后的 SubShift 和 SuperShift 值。

msubsup 基底和标记的 行内偏移和块偏移 按照 3.4.1.2 带 下标的基底和 3.4.1.3 带 上标的基底中描述的相同方式进行。

如果 <munder> 元素 少于或多于两个流内子元素，则其布局算法 与 mrow 元素相同。 否则，第一个流内子元素称为 munder 基底，第二个流内子元素称为 munder 下方标记。

如果 <mover> 元素 少于或多于两个流内子元素，则其布局算法 与 mrow 元素相同。 否则，第一个流内子元素称为 mover 基底，第二个流内子元素称为 mover 上方标记。

如果 <munderover> 元素 少于或多于三个流内子元素，则其布局算法 与 mrow 元素相同。 否则，第一个流内子元素称为 munderover 基底，第二个流内子元素 称为 munderover 下方标记， 第三个流内子元素称为 munderover 上方标记。

如果 <munder>、<mover> 或 <munderover> 元素的计算 math-style 属性等于 compact， 且其基底是具有 movablelimits 属性的修饰运算符，则 它们的布局算法分别 与 3.4.1.2 带 下标的基底、 3.4.1.3 带 上标的基底和 3.4.1.4 带下标和上标的基底中 为 <msub>、<msup> 和 <msubsup> 描述的布局算法相同。

否则， <munder>、<mover> 和 <munderover> 的布局算法分别在 3.4.2.3 带 下方标记的基底、 3.4.2.4 带 上方标记的基底和 3.4.2.5 带下方标记和上方标记的基底中描述。

沿行内 轴拉伸运算符的算法 如下。

1. 如果存在 行内拉伸大小约束或 块拉伸大小约束， 则正在布局的元素是 修饰运算符。使用 相同的拉伸大小约束布局基底。
2. 将尚未 布局的流内子元素列表拆分为第一个列表 LToStretch，其中包含 具有stretchy 属性和行内拉伸轴的 修饰运算符； 以及第二个列表 LNotToStretch。
3. 在没有任何拉伸大小约束的情况下，对 LNotToStretch 中的所有项目执行布局。 如果 LToStretch 为空，则停止。 如果 LNotToStretch 为空，则对 LToStretch 中的所有项目 使用行内拉伸 大小约束 0 执行布局。
4. 将目标大小 T 计算为 上一步中已布局子盒的 外边距盒的最大行内大小。
5. 使用行内拉伸大小约束 T 对 LToStretch 中的所有元素进行布局或重新布局。

<munder> 元素按照 图 20所示进行布局。 如果munder 基底 是具有 largeop 属性的修饰运算符， 则 LargeOpItalicCorrection 为其斜体校正，否则为 0。

数学内容的最小内容行内大小（相应地为最大内容行内大小） 按照下面数学内容行内大小的方式计算， 但将 munder 基底的外边距盒和munder 下方标记的外边距盒的 行内大小 替换为 munder 基底的外边距盒和munder 下方标记的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）。

使用沿 行内轴拉伸运算符的算法 对流内子元素进行布局。

数学内容的行内大小通过确定以下两项之间的绝对差值 来计算：

• 以下值中的最大值：
  • munder 基底的外边距 盒的行内大小的一半。
  • munder 下方标记的外边距盒的行内大小 的一半 − LargeOpItalicCorrection 的一半。
• 以下值中的最小值：
  • −munder 基底的外边距 盒的行内大小的一半。
  • −munder 下方标记的外边距盒的行内大小 的一半 − LargeOpItalicCorrection 的一半。

如果 m 是上面第二项中计算出的最小值，则 munder 基底的行内偏移 为 −m − 基底外边距盒的行内大小的一半。 munder 下方标记的行内偏移为 −m − munder 下方标记的 外边距盒的行内大小的一半 − LargeOpItalicCorrection 的一半。

参数 UnderShift 和 UnderExtraDescender 按以下顺序考虑三种情况来确定：

1. munder 基底是具有 largeop 属性的 修饰运算符。 UnderShift 是以下值中的最大值：

   • LowerLimitBaselineDropMin
   • LowerLimitGapMin + munder 下方标记的上升量。

   UnderExtraDescender 为 0。

2. munder 基底是具有 stretchy 属性 且拉伸轴为行内的 修饰运算符。 UnderShift 是以下值中的最大值：

   • StretchStackBottomShiftDown
   • StretchStackGapAboveMin + munder 下方标记的上升量。
   UnderExtraDescender 为 0。
3. 否则，如果 accentunder 属性没有 不区分 ASCII 大小写地匹配 true， 则 UnderShift 等于UnderbarVerticalGap； 否则等于零。 UnderExtraAscender 为 UnderbarExtraDescender。

数学内容的行上升量是以下值中的最大值：

• munder 基底的外边距盒的行上升量。
• munder 下方标记的外边距盒的行上升量 − UnderShift。

数学内容的行下降量是以下值中的最大值：

• munder 基底的外边距盒的行下降量。
• munder 下方标记的外边距盒的行下降量 + UnderShift + UnderExtraAscender。

munder 基底的字母基线与字母基线对齐。 munder 下方标记的字母基线相对于字母基线 朝行下方偏移一段距离，该距离等于 munder 基底的 外边距盒的墨迹行下降量 + UnderShift。

数学内容盒放置在 内容盒内，使它们的块起始边缘 对齐，并且这些边缘的中点位于相同 位置。

<mover> 元素按照 图 21所示进行布局。 如果mover 基底 是具有 largeop 属性的修饰运算符， 则 LargeOpItalicCorrection 为其斜体校正，否则为 0。

数学内容的最小内容行内大小（相应地为最大内容行内大小） 按照下面数学内容行内大小的方式计算， 但将 mover 基底的外边距盒和mover 上方标记的外边距盒的 行内大小替换为 mover 基底的外边距盒和mover 上方标记的外边距盒的 最小内容行内大小（相应地为最大内容行内大小）。

使用沿 行内轴拉伸运算符的算法 对流内子元素进行布局。

TopAccentAttachment 为 mover 上方标记的 顶部重音附着点；如果未定义， 则为mover 上方标记的外边距 盒的行内大小的一半。

数学内容的行内大小通过 应用沿 行内轴拉伸运算符的算法进行 布局，并确定以下两项之间的绝对差值来计算：

• 以下值中的最大值：
  • mover 基底的外边距 盒的行内大小的一半。
  • mover 上方标记的 外边距盒的行内大小 − TopAccentAttachment + LargeOpItalicCorrection 的一半。
• 以下值中的最小值：
  • −mover 基底的外边距 盒的行内大小的一半。
  • −TopAccentAttachment + LargeOpItalicCorrection 的一半。

如果 m 是上面第二项中计算出的最小值，则 mover 基底的行内偏移 为 −m − 基底外边距的行内大小的一半。 mover 上方标记的行内偏移为 −m − mover 上方标记的外边距 盒的行内大小的一半 + LargeOpItalicCorrection 的一半。

参数 OverShift 和 OverExtraDescender 按以下顺序考虑三种情况来确定：

1. mover 基底是具有 largeop 属性的 修饰运算符。 OverShift 是以下值中的最大值：

   • UpperLimitBaselineRiseMin
   • UpperLimitGapMin + mover 上方标记的下降量。

   OverExtraAscender 为 0。

2. mover 基底是具有 stretchy 属性且 拉伸轴为行内的 修饰运算符。 OverShift 是以下值中的最大值：

   • StretchStackTopShiftUp
   • StretchStackGapBelowMin + mover 上方标记的下降量。
   OverExtraDescender 为 0。

3. 否则，OverShift 等于以下第一个适用值：

   1. 如果 accent 属性没有 不区分 ASCII 大小写地匹配 true， 则为 OverbarVerticalGap。
   2. 或者，如果 AccentBaseHeight 减去 mover 基底的外边距盒的行上升量 所得差值为非负值，则为该差值。
   3. 否则为 0。

   OverExtraAscender 为 OverbarExtraAscender。

数学内容的行上升量是以下值中的最大值：

• mover 基底的 外边距盒的行上升量。
• mover 上方标记的外边距盒的行上升量 + OverShift + OverExtraAscender。

数学内容的行下降量是以下值中的最大值：

• mover 基底的 外边距盒的行下降量。
• mover 上方标记的外边距盒的行下降量 − OverShift。

mover 基底的字母基线与字母基线对齐。 mover 上方标记的字母基线相对于字母基线 朝行上方偏移一段距离，该距离等于 基底的墨迹行上升量 + OverShift。

数学内容盒放置在 内容盒内，使它们的块起始边缘 对齐，并且这些边缘的中点位于相同 位置。

<munderover> 的一般布局如 图 22所示。 LargeOpItalicCorrection、 UnderShift、 UnderExtraDescender、 OverShift、 OverExtraDescender 参数 按照 3.4.2.3 带 下方标记的基底和 3.4.2.4 带 上方标记的基底中的相同方式计算。

数学内容的最小内容行内大小、最大内容行内大小 和行内大小 计算为最大行内偏移与最小行内 偏移之间的绝对差值。 这些极值通过取 3.4.2.3 带 下方标记的基底和 3.4.2.4 带 上方标记的基底中计算出的相应极值的极值来计算。 munderover 基底、 munderover 下方标记和 munderover 上方标记的 行内偏移 按照这些节中的方式计算，但使用 新的最小值 m（相应最小值中的最小值）。

与这些节中一样，使用 沿 行内轴拉伸运算符的算法 对流内子元素进行布局。

数学内容的行上升量和行下降量 也通过取 3.4.2.3 带 下方标记的基底和 3.4.2.4 带 上方标记的基底中计算出的极值的极值来计算。

最后， munderover 基底、 munderover 下方标记和 munderover 上方标记的 字母基线 按照 3.4.2.3 带 下方标记的基底和 3.4.2.4 带 上方标记的基底中的方式计算。

数学内容盒放置在 内容盒内，使它们的块起始边缘 对齐，并且这些边缘的中点位于相同 位置。

<mmultiscripts> 元素按照 图 23所示进行布局。 对于 mmultiscripts 后置标记的每个下标/上标对， ItalicCorrection 和 LargeOpItalicCorrection 按照 3.4.1.2 带 下标的基底 和3.4.1.3 带 上标的基底中的方式定义。

数学内容的 最小内容行内大小（相应地为最大内容行内大小） 按照下面数学内容行内大小的相同方式计算， 但对于 mmultiscripts 基底的 外边距盒和标记的外边距盒， 将“行内大小”替换为“最小内容行内大小” （相应地为“最大内容行内大小”）。

如果存在行内拉伸大小 约束或 块拉伸大小约束， 则mmultiscripts 基底 也使用相同的拉伸大小约束进行布局。 否则，在没有任何拉伸 大小约束的情况下进行布局。其他元素始终在没有 任何拉伸大小约束的情况下进行布局。

数学内容的行内大小 使用以下算法计算：

1. 将 inline-offset 设置为 0。

2. 对于mmultiscripts 前置标记的每个下标/上标对， 将 inline-offset 增加 SpaceAfterScript + 以下值中的最大值：

   • 下标的外边距盒的行内大小。
   • 上标的外边距盒的行内大小。
3. 将 inline-offset 增加 mmultiscripts 基底的外边距盒的行内大小， 并将 inline-size 设置为 inline-offset。

4. 对于mmultiscripts 后置标记的每个下标/上标对， 修改 inline-size，使其至少为：

   • x + 下标的外边距盒的行内大小 + LargeOpItalicCorrection。
   • x + 上标的外边距盒的行内大小 − ItalicCorrection。

   将 inline-offset 增加以下值中的最大值：

   • 下标的外边距盒的行内大小。
   • 上标的外边距盒的行内大小。

   将 inline-offset 增加 SpaceAfterScript。

5. 返回 inline-size。

SubShift（相应地为 SuperShift） 通过取每个 下标/上标对的所有下标偏移 （相应地为上标偏移）的最大值来计算，如 3.4.1.4 带下标和上标的基底中所述。

数学内容的行上升量 通过取每个 下标/上标对的所有行上升量 的最大值来计算，如 3.4.1.4 带下标和上标的基底中所述， 但使用上面计算出的 SubShift 和 SuperShift 值。

数学内容的行下降量 通过取每个 下标/上标对的所有行下降量 的最大值来计算，如 3.4.1.4 带下标和上标的基底中所述， 但使用上面计算出的 SubShift 和 SuperShift 值。

最后，使用 以下算法放置流内子元素：

1. 将 inline-offset 设置为 0。

2. 对于mmultiscripts 前置标记的每个下标/上标对：

   1. 将 inline-offset 增加 SpaceAfterScript。
   2. 将 pair-inline-size 设置为以下值中的最大值：
      • 下标的外边距盒的行内大小。
      • 上标的外边距盒的行内大小。
   3. 将下标放置在行内起始位置 inline-offset + pair-inline-size − 下标的外边距盒的行内大小处。
   4. 将上标放置在行内起始位置 inline-offset + pair-inline-size − 上标的外边距盒的行内大小处。
   5. 放置下标（相应地为上标），使其 字母基线 相对于字母 基线偏移 SubShift（相应地为 SuperShift）， 朝行下方（相应地为行上方）。
   6. 将 inline-offset 增加 pair-inline-size。
3. 将mmultiscripts 基底 和 <mprescripts> 盒 放置在行内偏移 inline-offset 处，并使其字母基线 与字母基线对齐。

4. 对于mmultiscripts 后置标记的每个下标/上标对：

   1. 将 pair-inline-size 设置为以下值中的最大值：
      • 下标的外边距盒的行内大小。
      • 上标的外边距盒的行内大小。
   2. 将下标 放置在行内起始位置 inline-offset − LargeOpItalicCorrection 处。
   3. 将上标 放置在行内起始位置 inline-offset + ItalicCorrection 处。
   4. 放置下标（上标），使其字母基线 相对于字母 基线偏移 SubShift（相应地为 SuperShift）， 朝行下方（相应地为行上方）。
   5. 将 inline-offset 增加 pair-inline-size。
   6. 将 inline-offset 增加 SpaceAfterScript。