MathML核心

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

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

• 最小内容内联大小、 最大内容内联大小 与 内联大小 与该匿名子节点相同。
• 数学内容盒 的 墨迹行上升量 和 墨迹行下降量 设置为使其 墨迹上边基线、墨迹下边基线 和 字母基线 与文本的墨迹边界盒一致。
• 数学内容盒的 行上升量 （分别地 行下降量） 取 墨迹行上升量 （分别地 墨迹行下降量）。
• 如果文本内容仅为单一字形且该字形在 MathItalicsCorrectionInfo 表中有条目，则使用该值作为 斜体校正。
• 如果文本内容仅为单一字形且该字形在 MathTopAccentAttachment 表中有条目， 则使用该值作为 <mtext> 元素的顶部重音附着点。

否则，mtext 元素以块盒布局，并为 数学内容盒使用相应的最小内容内联大小、 最大内容内联大小、 内联大小、块大小、 首基线集和末基线集。

若某个MathML 核心元素满足以下条件，则称其为 修饰运算符 ：

1. 是 mo 元素；
2. 是脚本元素或 mfrac， 其首个流内子元素存在且本身也是 修饰运算符；
3. 是分组元素或 mpadded， 其流内子元素（任意顺序）中恰好有一个 修饰运算符，其他为零个或多个 空间样式元素。

核心运算符 是递归定义所得的 <mo> 元素，规则如下：

1. 若是 mo 元素，其核心运算符即为其自身。
2. 若为修饰 脚本元素或 mfrac 元素，其核心运算符为其首个流内子元素的核心运算符。
3. 若为修饰 分组元素或 mpadded ，其核心运算符为其唯一修饰运算符 流内子元素的核心运算符。

拉伸轴 ：若其 核心运算符 仅包含一个字符 c 且该字符具有 inline 固有拉伸轴，则为 内联，否则为 块。

可视格式模型中的盒也用此定义，其中 匿名 <mrow> 盒视作 分组元素。

修饰运算符的 form 属性为 infix、prefix 或 postfix 三者之一。 mo 元素对应的 form 属性（如有）， 必须为这三者之一的 ASCII 不区分大小写 匹配。

修饰运算符 form 决定算法 ：

1. 若 form 属性存在且有效，则其 ASCII 小写值 被采用。
2. 若修饰运算符为 分组元素、 mpadded 或 msqrt 多于一个流内子元素的第一个（忽略所有空间样式子元素），则为 prefix。
3. 否则若为上述类型的最后一个 流内 子元素，则为 postfix。
4. 否则若为脚本元素的流内非首个子元素，则为 postfix。
5. 否则为 infix。

stretchy、 symmetric、 largeop、 movablelimits 属性，在 修饰运算符 中为 false 或 true。 后者时，认为修饰运算符“具有”该属性。 上述属性在 mo 元素上，如有，必须为 boolean 类型。

lspace、 rspace、 minsize 属性在修饰运算符中为 <length-percentage>。 maxsize 属性为 <length-percentage> 或 ∞。 mo 元素对应同名属性（如有）也要求类型为 <length-percentage>。

修饰运算符属性决定算法如下：

1. 如核心运算符有有效 stretchy、 symmetric、 largeop、 movablelimits、 lspace、 rspace、 maxsize 或 minsize 属性，则取其 ASCII 小写值。
2. 否则，执行修饰运算符 form 决定算法。
3. 若核心运算符内容仅为文本 Content，则 Category 设为 运算符类别判定算法的结果 (Content, Form)，Form 为前述得到的形式。
4. 若 Category 为 Default 且修饰运算符没有在核心运算符属性中显式指定 form，则依次：
   1. Category 设为 运算符类别判定算法 的 (Content, infix) 结果。
   2. 若仍为 Default，用 postfix 再运行。
   3. 若仍为 Default，用 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 属性：
   • 若该运算符的 拉伸轴为 inline：
     1. 如果不能利用 首选可用字体 在 inline 方向为 c 生成拉伸字形， 则回退到 3.2.1.1 <mtext> 的布局算法。
     2. 数学内容的 最小内容内联大小 和 最大内容内联大小 取 3.2.1.1 <mtext> 的布局结果。
     3. 如未指定 内联拉伸大小约束 Tinline， 则回退到 3.2.1.1 <mtext> 的布局算法。
     4. 数学内容的 内联大小 和 (墨迹) 块度量由 生成拉伸字形 到 内联维度 Tinline 获得。
     5. 运算符的绘制由 生成拉伸字形 至 内联维度 Tinline 并据上述盒度量定位给出。
   • 否则，运算符的 拉伸轴为 block，执行如下步骤：
     1. 如果不能利用 首选可用字体 在 block 方向为 c 生成拉伸字形， 则回退到 3.2.1.1 <mtext> 的布局算法。
     2. 数学内容的 最小内容内联大小 和 最大内容内联大小 取为 glyph 沿 block 轴拉伸的优选内联大小。
     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，重设为 0。 若 maxsize < minsize，重设为 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 永成立， maxsize < minsize 和 maxsize < T 永为假。
        注

        本步骤确保 minsize ≤ T ≤ maxsize 成立。 另外，若目标值关于数学轴对称拉伸，则 Tascent − AxisHeight = Tdescent + AxisHeight 也得到维持。
     6. 数学内容的 内联大小, 墨迹行上升量, 墨迹行下降量, 行上升量 和 行下降量 均由 生成拉伸字形 至 块维度 Tascent + Tdescent 得到。 数学内容的 内联大小即为该拉伸字形的宽度。拉伸字形向 line-under 移动 Δ，使其中心与目标中心对齐： 数学内容的墨迹上升量等于拉伸字形上升量减 Δ，墨迹下降量等于拉伸字形下降量加 Δ。 这两个中心的坐标 "½(ascent − descent)"， 故 Δ = [(ascent of stretchy glyph − descent of stretchy glyph) − (Tascent − Tdescent)] / 2。
     7. 运算符的绘制，由 生成拉伸字形 至 块维度 Tascent + Tdescent 并向 line-over 移动 Δ 定位。

     

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 核心元素若为以下情况，则称其为 空白样式元素：

1. mtext 或 mspace；
2. 或为分组元素或 mpadded ，其所有流内子元素均为空白样式元素。

可视格式模型的盒也用相同定义，其中 匿名 <mrow> 盒被视作 分组元素。

沿 block 轴拉伸运算符的算法 步骤如下：

1. 如果存在块轴拉伸尺寸约束 或内联轴拉伸尺寸约束， 那么正布局的元素为 修饰运算符。布局唯一的 in-flow 子元素（为 修饰运算符）时，带有相同尺寸约束；其它子元素就不带尺寸约束，然后结束。
2. 否则， 将 in-flow 子元素列表分为两个列表 LToStretch（含具 修饰运算符并带 stretchy 属性且 block stretch axis的子项）和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. 对每个 in-flow 子元素执行：
   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。

in-flow子元素采用 沿 block 轴拉伸运算符的算法进行布局。

数学内容的内联尺寸计算方式与其最小内容内联尺寸和 最大内容内联尺寸一致，但用in-flow子元素的边距盒的内联尺寸代替。

数学内容的墨水上行（或行上行）为所有 in-flow 子元素的边距盒中，墨水上行（或行上行）的最大值；墨水下行（或行下行）为所有 in-flow 子元素边距盒中 墨水下行（或墨水上行）的最大值。

in-flow子元素的位置使用下列算法：

1. 若该盒对应 math 元素或不是 修饰运算符，则add-space为true，否则为false。
2. 置inline-offset为0。
3. 置previous-italic-correction为0。
4. 对每个 in-flow 子元素执行：
   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 属性。

数学内容的斜体校正取最后一个 in-flow 子元素的校正值（即previous-italic-correction的最终值）。

若分数线粗细非零， <mfrac> 元素按 图 12 显示。 仅当 <mfrac> 元素的 visibility 属性为 visible 时，才绘制分数线。 此时，分数线颜色采用 <mfrac> 元素的 color。

内容的最小内容内联尺寸 （或最大内容内联尺寸） 取分子 分子 边距盒的最小内容内联尺寸 （或最大内容内联尺寸）与分母 分母 边距盒的该尺寸最大值。

若有 内联拉伸尺寸约束 或 块拉伸尺寸约束， 则 分子 也使用相同约束布局，否则无约束。 分母 始终无任何拉伸约束布局。

数学内容的内联尺寸 取分子分子 边距盒与分母分母 边距盒的该尺寸最大值。

NumeratorShift 为以下两者的最大值：

• 若 math-style 为 compact （或normal），则取 FractionNumeratorShiftUp （或FractionNumeratorDisplayStyleShiftUp）。
• 若 math-style 为 compact （或normal），则取 AxisHeight + 分数线粗细一半 + 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

分子（或分母）的 内联偏移 为数学内容内联尺寸一半减去其边距盒的内联尺寸一半。

分子（或分母）的 字母基线，相对于父容器的 字母基线 ，分别向 line-over（或 line-under）方向偏移 NumeratorShift（或 DenominatorShift）距离。

数学内容盒在 内容盒内放置，使两者 block-start 边对齐且中线重合。

分数线的内联尺寸为 内容盒的内联尺寸，且其起始内联边与内容盒对齐。 分数线中线自数学内容盒的字母基线向 line-over 方向偏移 AxisHeight 距离。 块尺寸为分数线粗细。

若分数线粗细为0，<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， 否则为 StackDisplayStyleGapMin。 若 Δ = GapMin − Gap 为正，则 TopShift 增加 Δ/2，BottomShift 增加 Δ − Δ/2。

数学内容的行上行为最大值：

• TopShift + 分子行上行
• −BottomShift + 分母行上行

数学内容的行下行为最大值：

• −TopShift + 分子行下行
• BottomShift + 分母行下行
• 0

分子和分母的 内联偏移 计算与 3.3.2.1 分数线粗细非零的分数一致。

分子（和分母）的字母基线 相对于父级字母基线，分别沿 line-over方向偏移TopShift（或沿line-under方向偏移-BottomShift）。

数学内容盒在 内容盒内放置，使两者 block-start 边对齐且中线重合。

仅当 <msqrt> 或 <mroot> 元素的 visibility 为 visible 时才绘制根号符号， 此时根号符号颜色采用该元素的 color。

根号字形 指用字符 U+221A SQUARE ROOT 所得字形。

根号间距 如果 math-style 为 compact 时使用 RadicalVerticalGap, 否则使用 RadicalDisplayStyleVerticalGap。

伸缩根号字形的目标高度为： RadicalRuleThickness + 根号间距 + 基体的墨水高度。

根号字形的盒度量 及根号符号的绘制，需按 为某目标block尺寸伸展字形的算法来获得。

<msqrt> 元素如图 14布局。

数学内容的最小内容内联尺寸 （或最大内容内联尺寸） 为 沿block轴拉伸 根号字形的 优选内联尺寸， 加上 msqrt 基边距盒的最小内容内联尺寸 （或最大内容内联尺寸)。

数学内容的 内联尺寸 为 根号字形的盒度量的前导宽度加上 msqrt 基 边距盒的内联尺寸。

数学内容的行上行，取以下两者最大值：

• msqrt 基 边距盒的行上行
• msqrt 基的 墨水上行、根号间距、RadicalRuleThickness 与 RadicalExtraAscender之和

数学内容的行下行，取以下两者最大值：

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

上横线的内联尺寸为 msqrt 基 边距盒的内联尺寸。 msqrt 基和上横线的内联偏移均相同，等于 根号字形的盒度量的宽度。

msqrt 基的字母基线对齐 容器的字母基线。 上横线的块大小为 RadicalRuleThickness 。其垂直中心相对于字母基线 向line-over方向的偏移为数学内容的行上行，减去 RadicalExtraAscender，再减去 RadicalRuleThickness一半。

最后，进行根号符号的绘制：

• 内联偏移为 0。
• 块偏移为自上横线line-over边至line-under方向， 距离为根号字形盒度量的上行高度。

<mroot> 元素布局如图 15。 mroot 指数先被忽略，仅将 mroot 基 与根号字形 按图 14的算法布局 ，生成边距盒 B（绿框）。

数学内容最小内容内联尺寸 （或最大内容内联尺寸）为 max(0, RadicalKernBeforeDegree) + mroot 指数 边距盒的最小内容内联尺寸 （或最大内容内联尺寸) + max(−最小内容内联尺寸, RadicalKernAfterDegree) （或 max(−最大内容内联尺寸, RadicalKernAfterDegree) ) + B 的最小内容内联尺寸 （或最大内容内联尺寸)。

按相同的收敛规则， AdjustedRadicalKernBeforeDegree、 AdjustedRadicalKernAfterDegree 分别为 max(0, RadicalKernBeforeDegree) 与 max(−指数边距盒内联尺寸, RadicalKernAfterDegree)。

数学内容内联尺寸为 AdjustedRadicalKernBeforeDegree + 指数边距盒的内联尺寸 + AdjustedRadicalKernAfterDegree + B的内联尺寸。

数学内容行上行取以下最大值：

• −B的行下行 + RadicalDegreeBottomRaisePercent × B的块尺寸 + 指数边距盒的行上行
• B的行上行

数学内容行下行，取以下最大值：

• B的行下行 − RadicalDegreeBottomRaisePercent × B的块尺寸 + 指数边距盒的行上行
• B的行下行

指数的内联偏移 为 AdjustedRadicalKernBeforeDegree。 mroot 基的内联偏移为上述值加上指数边距盒的内联尺寸。

B 的 字母基线与父容器的字母基线对齐。 指数的字母基线自line-under边偏移距离为 RadicalDegreeBottomRaisePercent × B的块尺寸加上指数边距盒的行下行。

mpadded 元素 生成一个匿名 <mrow> 盒 ，称为 mpadded 内部盒， 其参数称为 内部内联尺寸、内部行上行和内部行下行。

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

• width 请求值为 width 属性的解析值。 若 width 属性已指定、有效且不是百分比，则该属性作为 表现性提示 ，将元素的 width 属性设置为对应值。
• 若 height 属性缺失、无效或为百分比，则 height 请求值为内部行上行。 否则请求值为 height 属性的解析值，负值钳制为 0。
• 若 depth 属性缺失、无效或为百分比，则 depth 请求值为内部行上行。 否则请求值为 depth 属性的解析值，负值钳制为 0。
• 若 lspace 属性缺失、无效或为百分比，则 lspace 请求值为 0。否则请求值为 lspace 属性解析值，负值钳制为 0。
• 若 voffset 属性缺失、无效或为百分比，则 voffset 请求值为 0，否则请求值为 voffset 属性的解析值。
  注

  负 voffset 值不会钳制为0。

若 <mpadded> 元素的计算属性 display 不等于 block math 或 inline math， 则参见 CSS 规范描述。否则，布局如 图 16所示。

数学内容最小内容内联尺寸（或最大内容内联尺寸），用 3.3.6.1 内部盒与请求参数 算法，但把“内部内联尺寸”换成 mpadded 内部盒的最小内容内联尺寸（或最大内容内联尺寸）。

数学内容内联尺寸 按 3.3.6.1 内部盒与请求参数 算法请求宽度计算。

数学内容行上行为请求的 height，行下行为请求的 depth。

mpadded 内部盒 其字母基线 相对于父字母基线 按请求的 voffset 向line-over方向偏移。

若 <msub> 元素 的 in-flow 子元素不等于 2 个，则其布局算法与 mrow 元素一样。 否则，第一个 in-flow 子元素为 msub 基底， 第二个 in-flow 子元素为 msub 下标，布局算法见3.4.1.2 基底带下标。

若 <msup> 元素 的 in-flow 子元素不等于 2 个，则其布局算法与 mrow 元素一样。 否则，第一个 in-flow 子元素为 msup 基底， 第二个 in-flow 子元素为 msup 上标，布局算法见3.4.1.3 基底带上标。

若 <msubsup> 元素 的 in-flow 子元素不等于 3 个，则其布局算法与 mrow 元素一样。 否则，第一个 in-flow 子元素为 msubsup 基底， 第二个 in-flow 子元素为msubsup 下标， 第三个 in-flow 子元素为 msubsup 上标，布局算法见3.4.1.4 基底带下标与上标。

<msub> 元素布局如图 17。LargeOpItalicCorrection 为 msub 基底 的 斜体校正（若其为具有largeop属性的修饰运算符时），否则为0。

数学内容最小内容内联尺寸（或最大内容内联尺寸）为 msub 基底边距盒的该尺寸 − LargeOpItalicCorrection + msub 下标边距盒的该尺寸 + SpaceAfterScript。

若有 内联拉伸尺寸约束 或块拉伸尺寸约束，则 msub 基底也用该约束布局，否则无约束。脚本总是无拉伸尺寸约束布局。

数学内容的内联尺寸为 msub 基底边距盒的内联尺寸 − LargeOpItalicCorrection + msub 下标边距盒的内联尺寸 + SpaceAfterScript。

SubShift 的值为以下三者的最大值：

• SubscriptShiftDown
• 下标边距盒的墨水上行 − SubscriptTopMax
• SubscriptBaselineDropMin + msub 基底边距盒的墨水下行

数学内容行上行为下列两者最大值：

• msub 基底边距盒的行上行
• 下标边距盒的行上行 − SubShift

数学内容行下行为下列两者最大值：

• msub 基底边距盒的行下行
• 下标边距盒的行下行 + SubShift

msub 基底的内联偏移量为 0， msub 下标的内联偏移量为msub 基底的margin box的内联尺寸减去 LargeOpItalicCorrection。

msub 基底 的字母基线 与容器的字母基线对齐。msub 下标则将其字母基线，向 line-under 方向偏移 SubShift。

<msup> 元素布局如图 18。ItalicCorrection 为 msup 基底 的 斜体校正 （若其不是具有 largeop 属性的修饰运算符时），否则为0。

数学内容最小内容内联尺寸（或最大内容内联尺寸）为 msup 基底边距盒的该尺寸 + ItalicCorrection + msup 上标边距盒的该尺寸 + SpaceAfterScript。

若有 内联拉伸尺寸约束或块拉伸尺寸约束，则 msup 基底也用该约束布局，否则无约束。脚本总是无拉伸尺寸约束布局。

数学内容内联尺寸为 msup 基底边距盒的内联尺寸 + ItalicCorrection + msup 上标边距盒的内联尺寸 + SpaceAfterScript。

SuperShift 的值为以下三者的最大值：

• 如果该元素计算得出的 math-shift 属性等于 compact，则取 SuperscriptShiftUpCramped 的值，否则取 SuperscriptShiftUp 的值。
• SuperscriptBottomMin 加上上标 margin box 的 墨水线-下行
• msup 基底 的 margin box 的 墨水线-上行减去 SuperscriptBaselineDropMax

数学内容行上行为下列两者最大值：

• msup 基底边距盒的行上行
• 上标边距盒的行上行 + SuperShift

数学内容行下行为下列两者最大值：

• msup 基底边距盒的行下行
• 上标边距盒的行下行 − SuperShift

msup 基底的内联偏移为 0，上标的内联偏移为 msup 基底 边距盒的内联尺寸 + ItalicCorrection。

msup 基底 的字母基线 与父容器的字母基线对齐。msup 上标将其字母基线沿line-over方向偏移 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> 元素的 in-flow 子元素少于或多于两个，则其布局算法与 mrow 元素相同。否则，第一个 in-flow 子元素称为 munder base，第二个 in-flow 子元素称为 munder underscript。

若 <mover> 元素的 in-flow 子元素少于或多于两个，则其布局算法与 mrow 元素相同。否则，第一个 in-flow 子元素称为 mover base，第二个 in-flow 子元素称为 mover overscript。

若 <munderover> 元素的 in-flow 子元素少于或多于三个，则其布局算法与 mrow 元素相同。否则，第一个 in-flow 子元素称为 munderover base，第二个 in-flow 子元素称为 munderover underscript，第三个 in-flow 子元素称为 munderover overscript。

如果 <munder>、<mover> 或 <munderover> 的计算 math-style 属性等于 compact，且它们的基底是具有 movablelimits 属性的 embellished operator，则它们的布局算法分别与 3.4.1.2 Base with subscript、3.4.1.3 Base with superscript 和 3.4.1.4 Base with subscript and superscript 中描述的相应算法相同。

否则，<munder>、<mover> 和 <munderover> 的布局算法分别在 3.4.2.3 Base with underscript、3.4.2.4 Base with overscript 和 3.4.2.5 Base with underscript and overscript 中描述。

沿内联轴拉伸运算符的算法 如下所示。

1. 如果存在 内联拉伸尺寸约束 或 块拉伸尺寸约束，则被布局的元素为一个 embellished operator。用相同的拉伸尺寸约束布局基底。
2. 将尚未布局的 in-flow 子元素列表分为两个列表：第一个列表 LToStretch 包含具有 stretchy 属性并沿内联方向有 stretch axis 的 embellished operators；第二个列表为 LNotToStretch。
3. 对 LNotToStretch 的所有项在没有任何拉伸尺寸约束下进行布局。如果 LToStretch 为空则停止。如果 LNotToStretch 为空，则对 LToStretch 的所有项使用内联拉伸尺寸约束 0 进行布局。
4. 计算目标尺寸 T，即在上一步已布局的子盒的 边距盒 中最大的 内联尺寸。
5. 使用内联拉伸尺寸约束 T 对 LToStretch 的所有元素进行（重新）布局。

<munder> 元素的布局如 图 20 所示。LargeOpItalicCorrection 是当 munder base 为具有 largeop 属性的 embellished operator 时的 斜体校正，否则为 0。

数学内容的 最小内容内联尺寸（或 最大内容内联尺寸）按下文的 内联尺寸 计算方式得出，但将 munder base 的 边距盒 与 munder underscript 的 边距盒 的 内联尺寸 替换为它们各自的 最小内容内联尺寸（或 最大内容内联尺寸）。

in-flow 子元素采用 沿内联轴拉伸运算符的算法 进行布局。

数学内容的 内联尺寸 通过确定下列两者的绝对差值来计算：

• 下列项的最大值：
  • 所述 munder base 的 边距盒 的一半内联尺寸。
  • 所述 munder underscript 的 边距盒 的一半内联尺寸 − 一半的 LargeOpItalicCorrection。
• 下列项的最小值：
  • − 所述 munder base 的 边距盒 的一半内联尺寸。
  • − 所述 munder underscript 的 边距盒 的一半内联尺寸 − 一半的 LargeOpItalicCorrection。

如果 m 是上面第二条中计算得到的最小值，则 munder 基底的内联偏移量为 −m − 基底 margin box 的一半内联尺寸。 munder 下标的内联偏移量为 −m − munder 下标的 margin box 的一半内联尺寸，再减去 LargeOpItalicCorrection 的一半。

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

1. 若 munder base 是具有 largeop 属性的 embellished operator，则 UnderShift 为以下两者的最大值：

   • LowerLimitBaselineDropMin
   • LowerLimitGapMin + munder underscript 的上行（ascent）。

   UnderExtraDescender 为 0。

2. 若 munder base 是具有 stretchy 属性且其 stretch axis 为内联方向时，则 UnderShift 为下列两者的最大值：

   • StretchStackBottomShiftDown
   • StretchStackGapAboveMin + munder underscript 的上行（ascent）。

   UnderExtraDescender 为 0。

3. 否则，若 accentunder 属性不是与 true 的 ASCII 不区分大小写匹配，则 UnderShift 等于 UnderbarVerticalGap，否则为零。UnderExtraAscender 为 UnderbarExtraDescender。

数学内容的 行上行 为下列两者的最大值：

• munder base 的 边距盒 的行上行。
• munder underscript 的 边距盒 的行上行 − UnderShift。

数学内容的 行下行 为下列两者的最大值：

• munder base 的 边距盒 的行下行。
• munder underscript 的 边距盒 的行下行 + UnderShift + UnderExtraAscender。

munder base 的字母基线与容器的字母基线对齐。munder underscript 的字母基线相对于容器的字母基线向 line-under 方向偏移，距离等于基底的 墨水下行 + UnderShift。

math content box 放置在 content box 内，使它们的 block-start 边对齐且这些边的中点重合。

<mover> 元素的布局如 图 21 所示。LargeOpItalicCorrection 是当 mover base 为具有 largeop 属性的 embellished operator 时的 斜体校正，否则为 0。

数学内容的 最小内容内联尺寸（或 最大内容内联尺寸）按下文的 内联尺寸 计算方式得出，但将 mover base 的 边距盒 与 mover overscript 的 边距盒 的 内联尺寸 替换为它们各自的 最小内容内联尺寸（或 最大内容内联尺寸）。

in-flow 子元素采用 沿内联轴拉伸运算符的算法 进行布局。

TopAccentAttachment 为 mover overscript 的 top accent attachment，如果未定义则为该 overscript 的 边距盒 的一半内联尺寸。

数学内容的 内联尺寸 通过应用 沿内联轴拉伸运算符的算法 进行布局后，确定下列两者的绝对差值：

• 下列项的最大值：
  • mover base 的 边距盒 的一半内联尺寸。
  • mover overscript 的 边距盒 的内联尺寸 − TopAccentAttachment + 一半的 LargeOpItalicCorrection。
• 下列项的最小值：
  • − 所述 mover base 的 边距盒 的一半内联尺寸。
  • − TopAccentAttachment + 一半的 LargeOpItalicCorrection。

如果 m 是上面第二条中计算得到的最小值，则 mover 基底的内联偏移量为 −m − 基底 margin 的一半内联尺寸。 mover 上标的内联偏移量为 −m − mover 上标的 margin box 的一半内联尺寸，加上 LargeOpItalicCorrection 的一半。

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

1. 若 mover base 是具有 largeop 属性的 embellished operator，则 OverShift 为以下两者的最大值：

   • UpperLimitBaselineRiseMin
   • UpperLimitGapMin + mover overscript 的下行（descent）。

   OverExtraAscender 为 0。

2. 若 mover base 是具有 stretchy 属性且其 stretch axis 为内联方向时，则 OverShift 为以下两者的最大值：

   • StretchStackTopShiftUp
   • StretchStackGapBelowMin + mover overscript 的下行（descent）。

   OverExtraDescender 为 0。

3. 否则，OverShift 等于：

   1. OverbarVerticalGap，如果 accent 属性不是与 true 的 ASCII 不区分大小写匹配；
   2. 或者为 AccentBaseHeight − 所述 mover base 的 边距盒 的行上行（如果该差值非负）；
   3. 否则为 0。

   OverExtraAscender 为 OverbarExtraAscender。

数学内容的 行上行 为下列两者的最大值：

• mover base 的 边距盒 的行上行。
• mover overscript 的 边距盒 的行上行 + OverShift + OverExtraAscender。

数学内容的 行下行 为下列两者的最大值：

• mover base 的 边距盒 的行下行。
• mover overscript 的 边距盒 的行下行 − OverShift。

mover base 的字母基线与容器的字母基线对齐。mover overscript 的字母基线相对于容器的字母基线向 line-over 方向偏移，距离等于基底的 墨水上行 + OverShift。

math content box 放置在 content box 内，使它们的 block-start 边对齐且这些边的中点重合。

<munderover> 的一般布局如 图 22 所示。参数 LargeOpItalicCorrection、UnderShift、UnderExtraDescender、OverShift、OverExtraDescender 的计算与在 3.4.2.3 Base with underscript 和 3.4.2.4 Base with overscript 中的计算相同。

数学内容的最小内容内联尺寸、最大内容内联尺寸和内联尺寸，计算方式为最大内联偏移量与最小内联偏移量的绝对差值。 这些极值通过取3.4.2.3 带下标基底和 3.4.2.4 带上标基底中计算所得极值的极大/极小值获得。 munderover 基底、 munderover 下标和 munderover 上标的内联偏移量，按这些章节的方法计算，但所用的最小值 m（对应极小值的最小值）取新的。

与这些章节类似，in-flow 子元素采用 沿内联轴拉伸运算符的算法 进行布局。

数学内容的 行上行 和 行下行 也通过取在 3.4.2.3 Base with underscript 和 3.4.2.4 Base with overscript 中计算出的相应极值的极端值来计算。

最后，munderover base、munderover underscript 和 munderover overscript 的字母基线按 3.4.2.3 Base with underscript 和 3.4.2.4 Base with overscript 中的规则计算。

math content box 放置在 content box 内，使它们的 block-start 边对齐且这些边的中点重合。

<mmultiscripts> 元素布局如 图 23 所示。 对于每个 mmultiscripts 后置脚本的下标/上标对，其 ItalicCorrection 和 LargeOpItalicCorrection定义如 3.4.1.2 基底带下标 和 3.4.1.3 基底带上标。

数学内容的最小内容内联尺寸（或最大内容内联尺寸），用下文内联尺寸算法，但 mmultiscripts base 和各脚本的 边距盒 替换为其 最小内容内联尺寸 （或最大内容内联尺寸）。

若有 内联拉伸尺寸约束 或 块拉伸尺寸约束， mmultiscripts base 也用该约束布局，否则不带任何拉伸约束。其他元素总是不带拉伸尺寸约束布局。

数学内容内联尺寸用如下算法计算：

1. 设置 inline-offset 为 0。

2. 对每个 mmultiscripts 前置脚本 的下标/上标对，将 inline-offset 增加 SpaceAfterScript 及 下列最大值：

   • 下标 边距盒 的内联尺寸。
   • 上标 边距盒 的内联尺寸。
3. inline-offset 增加 mmultiscripts base 的 边距盒 的内联尺寸， 并将 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，取最大值。

最后，各 in-flow 子元素位置如下算法安排：

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. 分别将下标（或上标）的字母基线 向 line-under（或 line-over）方向与父基线偏移 SubShift（或 SuperShift）。
   6. inline-offset 增加 pair-inline-size
3. mmultiscripts base 和 <mprescripts> 盒放在 inline-offset 处，字母基线与父基线对齐。

4. 对每个 mmultiscripts 后置脚本 的下标/上标对：

   1. pair-inline-size 设为下标盒和上标盒的 内联尺寸两者最大。
   2. 下标放在 inline-offset − LargeOpItalicCorrection。
   3. 上标放在 inline-offset + ItalicCorrection。
   4. 分别将下标（或上标）的字母基线 向 line-under（或 line-over）方向与父基线偏移 SubShift（或 SuperShift）。
   5. inline-offset 增加 pair-inline-size。
   6. inline-offset 增加 SpaceAfterScript。