MathMLコア

この要素の算出 display プロパティが block math または inline math でない場合、対応する値が記述されている CSS 仕様に従ってレイアウトされます。それ以外の場合は、以下のレイアウトが行われます。

<mtext> 要素が 強制改行 や ソフトラップの機会 を含まないテキストコンテンツのみから成る場合は、そのテキストのために生成される匿名子ノードが該当する CSS 仕様で定められた通りにレイアウトされ、かつ次の通りです：

• math content box の min-content inline size、max-content inline size、inline size は、匿名子ノードのそれと同じです。
• math content box の ink line-ascent および ink line-descent は、その ink-over baseline、ink-under baseline および alphabetic baseline がテキストのインク境界ボックスのものと一致するように設定されます。
• math content box の line-ascent（および line-descent）は、それぞれ ink line-ascent（および ink line-descent）に設定されます。
• テキストコンテンツが単一グリフで構成され、そのグリフが MathItalicsCorrectionInfo テーブルにエントリを持つ場合、指定された値が italic correction として使用されます。
• テキストコンテンツが単一グリフで構成され、そのグリフが MathTopAccentAttachment テーブルにエントリを持つ場合、指定された値が <mtext> 要素の top accent attachment として使用されます。

それ以外の場合、mtext 要素は ブロックボックス としてレイアウトされ、対応する min-content inline size、max-content inline size、inline size、block size、first baseline set および last baseline set が math content box のために用いられます。

MathML Core 要素は、次の場合に 装飾付き演算子 となります：

1. mo 要素である場合。
2. スクリプト要素または mfrac であって、最初のin-flow子が存在し、それが 装飾付き演算子である場合。
3. グループ化要素または mpadded であって、in-flow子が（順不同で）1つの装飾付き演算子と0個以上の 空白様（space-like）要素からなる場合。

コア演算子とは、装飾付き演算子（embellished operator）に対して、次のように再帰的に定義される<mo>要素です：

1. mo 要素のコア演算子は、その当該要素自身です。
2. 装飾付きスクリプト要素または mfrac 要素のコア演算子は、その最初のin-flow子のコア演算子です。
3. 装飾付きグループ化要素または mpadded のコア演算子は、その固有の装飾付き演算子 in-flow子のコア演算子です。

伸長軸（stretch axis）は、装飾付き演算子（embellished operator）に対し、 その コア演算子が 1文字だけから成るテキスト内容cを持ち、かつ その文字がインライン固有伸長軸を持つ場合はinlineです。 それ以外の場合、装飾付き演算子の伸長軸はblockです。

同じ定義は、「 匿名<mrow>ボックス」を グループ化要素として扱う視覚的フォーマットモデルのボックスにも適用されます。

装飾付き演算子（embellished operator）のform プロパティは infix・prefix・postfix のいずれかです。 対応するform属性を mo 要素に持たせる場合、その値は ASCII大文字小文字区別なし でいずれかに一致しなければなりません。

装飾付き演算子のform判定アルゴリズム は次の通りです：

1. form属性がcore operatorに存在し正しい場合、そのASCII小文字値を使う。
2. その装飾付き演算子が、グループ化要素、 mpadded または msqrt の最初のin-flow子（すべてのspace-like子を無視）であり、かつ子が2つ以上ある場合はprefix。
3. その装飾付き演算子が、グループ化要素、 mpadded または msqrt の最後のin-flow子（すべてのspace-like子を無視）であり、かつ子が2つ以上ある場合はpostfix。
4. その装飾付き演算子がスクリプト要素の （最初以外の）in-flow子である場合はpostfix。
5. それ以外の場合はinfix。

stretchy・ symmetric・ largeop・ movablelimits いずれも装飾付き演算子（embellished operator） のプロパティとなり、 false か true のいずれかの値を持ちます。trueの場合、「そのプロパティを持つ」とされます。 対応する stretchy、 symmetric、 largeop、 movablelimits属性は mo 要素で使用する場合は boolean でなければなりません。

lspace・ rspace・ minsize は全て装飾付き演算子（embellished operator）のプロパティであり、 <length-percentage> です。 maxsize プロパティは 装飾付き演算子に対し <length-percentage> または ∞ を取ります。 lspace・ rspace・ minsize・ maxsize 属性も mo 要素で使用する場合は <length-percentage>型でなければなりません。

装飾付き演算子のプロパティ判定アルゴリズムは次の通りです：

1. 対応する stretchy・ symmetric・ largeop・ movablelimits・ lspace・ rspace・ maxsize・ minsize 属性がcore operatorに存在しかつ有効な場合は、そのプロパティのASCII小文字化した値を使う。
2. それ以外は装飾付き演算子のform判定アルゴリズムを実行。
3. そのcore operatorにテキストコンテンツContentのみが含まれる場合、 Category を 演算子のカテゴリ判定アルゴリズム (Content, Form)（Formは前ステップで算出）で設定。
4. Category が Default で かつform がcore operator属性に明示的に与えられていなかった場合：
   1. Formをinfixとして 演算子のカテゴリ判定アルゴリズム (Content, Form)の結果でCategoryを設定。
   2. Category が Default の場合は Form = postfix で再度行う。
   3. Category が Default の場合は Form = prefix で再度行う。
5. 最後に カテゴリからプロパティを決定するアルゴリズムを実行。

レイアウト処理で使用する際、 stretchy・ symmetric・ largeop・ movablelimits・ lspace・ rspace・ minsize の値は 装飾付き演算子のプロパティ判定アルゴリズム で、以下に挙げる追加規則も含めて得られます：

• lspace、rspaceのパーセント値は 辞書から読んだ値や上記fallback値に対する割合として解釈されます。
• minsize や maxsizeのパーセント値の解釈は 3.2.4.3 演算子のレイアウト で説明します。
• lspace・rspace・ minsize・maxsize のフォント相対長さは コア演算子のフォントスタイルに依存し、装飾付き演算子自身のものではないことに注意します。

<mo> 要素の算出 display プロパティが block math または inline math でない場合は、対応する値が述べられている CSS 仕様に従ってレイアウトされます。そうでない場合、以下のレイアウトが実行されます。

演算子のテキストは、<mo> 要素の visibility が visible の場合にのみ描画されなければなりません。その場合は <mo> 要素の color で描画されなければなりません。

演算子は次のようにレイアウトされます：

1. <mo> 要素の内容が 1 文字 c でない場合、3.2.1.1<mtext> のレイアウトのアルゴリズムにフォールバックします。
2. 演算子が stretchy プロパティをもつ場合：
   • その演算子の 伸長軸 がインラインの場合：
     1. ストレッチグリフのシェイプ を、利用可能な最初のフォントでインライン方向に c に対して生成できなければ、3.2.1.1 <mtext> のレイアウトアルゴリズムにフォールバックします。
     2. 数式内容の min-content inline size・max-content inline size は3.2.1.1<mtext> のレイアウトアルゴリズムの値に設定されます。
     3. インラインのストレッチサイズ制約 Tinline がなければ、3.2.1.1 <mtext> のレイアウトアルゴリズムにフォールバックします。
     4. 数式内容の inline size およびインクのブロックメトリクスは、ストレッチグリフのシェイプ アルゴリズムを inline dimension Tinline に対して適用したものとなります。
     5. 演算子の描画は、上述のボックスメトリクスで決定された位置に、ストレッチグリフのシェイプ アルゴリズムでTinlineまでストレッチしたグリフで行います。
   • そうでない場合、演算子の 伸長軸 はブロックとなり、以下の手順を実施します：
     1. ストレッチグリフのシェイプ を、利用可能な最初のフォントでブロック方向に c に対して生成できなければ、3.2.1.1 <mtext> のレイアウトアルゴリズムにフォールバックします。
     2. 数式内容の min-content inline size・max-content inline size は、縦方向にストレッチしたグリフの推奨インラインサイズ となります。
     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 は常に真、maxsize < minsize および maxsize < T は常に偽です。
        注

        このステップで、 minsize ≤ T ≤ maxsize が成り立つことが保証されます。さらにターゲット値が数式軸に対して対称ストレッチとなる場合、 math axis に関して Tascent − AxisHeight = Tdescent + AxisHeight も維持されます。
     6. inline size、 ink line-ascent、 ink line-descent、 line-ascent、 line-descent は ストレッチグリフのシェイプアルゴリズムでブロック方向 Tascent + Tdescent にストレッチしたものから得られます。 数式内容の inline size はストレッチグリフの幅です。ストレッチグリフは line-under 方向へ Δ ずらして、その中心がターゲットの中心に合うようにします。内容のインクアセントはストレッチグリフの ascent − Δ、インクディセントはストレッチグリフの descent ＋ Δ になります。これらの中心座標は「½ (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. 数式内容の min-content inline size、max-content inline size、inline size、およびブロックメトリクスは、得られたグリフによります。
   3. そのグリフを描画します。

   

4. その他の場合は3.2.1.1 <mtext> のレイアウトアルゴリズムにフォールバックします。

上記のいずれかのステップで ストレッチグリフのシェイプ アルゴリズムが使われた場合は、数式内容の italic correction はそのアルゴリズムで返された値に設定されます。

多くの MathML 表示要素は「スペース類似(space-like)」であり、通常は空白としてレンダリングされ、 それが現れる式の数学的意味には影響しない。 そのため、これらの要素は他の MathML 式の中でもやや例外的な動作をする場合が多い。

MathML コア要素は もし次のいずれかであれば、 スペース類似要素 となる：

1. mtext または mspace である場合；
2. あるいは、全ての フロー内 子要素が スペース類似 である グループ化要素 または mpadded である場合。

同じ定義がビジュアルフォーマットモデルのボックスにも適用され、 匿名 <mrow> ボックス は グループ化要素 として扱われる。

ブロック軸方向の演算子伸長アルゴリズム は、以下の手順から成る：

1. ブロック伸長サイズ制約 または インライン伸長サイズ制約 が存在する場合、レイアウトされる要素は 装飾演算子 である。同じサイズ制約で フロー内 子のうち装飾演算子であるもの1つをレイアウトし、他の フロー内 子は サイズ制約なしでレイアウトし、終了する。
2. それ以外の場合、 フロー内 子のリストを LToStretch（装飾演算子 かつ stretchy プロパティおよびブロック stretch axisがある）と LNotToStretch に分割する。
3. LNotToStretch のすべてに伸長サイズ制約なしでレイアウトを行う。 LToStretch が空なら終了。 LNotToStretch が空の場合は LToStretch のすべてに ブロック伸長サイズ制約 (0, 0) でレイアウトを行う。
4. 前のステップでレイアウトした フロー内 子の マージンボックス のうち 最大のインクアセント・最大のインクディセントを それぞれ Uascent, Udescent として求める。
5. LToStretch の全要素を ブロック伸長サイズ制約 (Uascent, Udescent) で（再）レイアウト。

このボックスが 匿名 <mrow> ボックス でなく、紐付く要素の計算した display プロパティが block math または inline math でない場合は 対応する値が記述されている CSS 仕様に従ってレイアウトされる。 それ以外の場合は以下のレイアウトが行われる。

子ボックスが 装飾演算子 でなく、かつ イタリック補正が0でなければ それは 斜体となる。

min-content インラインサイズ（max-content インラインサイズも同様）は、 以下のアルゴリズムで計算される：

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. その子の margin box の min-content インラインサイズ（または max-content インラインサイズ）を inline-offset に加算。
   4. その子が斜体なら previous-italic-correction に イタリック補正 を設定。 そうでなければ0を設定。
   5. 装飾演算子かつ add-space が true なら inline-offset に rspace を加算。
5. inline-offset に previous-italic-correction を加算。
6. inline-offset を返す。

フロー内 子は ブロック軸方向の演算子伸長アルゴリズム でレイアウトされる。

数式コンテンツの inline size は、 数式コンテンツの min-content inline size および max-content inline size と同じ計算法で、 フロー内 子の margin box の inline size を使って計算される。

数式コンテンツの インク・ラインアセント（または ラインアセント）は、 すべての フロー内 子の margin box の インク・ラインアセント（または ラインアセント）の最大値となる。同様に、 インク・ラインディセント（または ラインディセント）は すべての フロー内 子の margin box の インク・ラインディセント（または インク・ラインアセント）の最大値となる。

フロー内 子の位置決めは次のアルゴリズムで行われる：

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. その子のmargin boxのinline sizeをinline-offsetに加算。
   5. 斜体ならprevious-italic-correctionにイタリック補正を設定し、そうでなければ0を設定。
   6. 装飾演算子かつadd-spaceがtrueならinline-offsetにrspaceを加算。

数式コンテンツのイタリック補正は、最後のフロー内子（previous-italic-correctionの最終値）とする。

分数線の太さが非ゼロの場合、 <mfrac> 要素は 図 12 のようにレイアウトされる。 分数線は visibility が visible の場合のみ描画される。 このとき分数線の色は要素の color を使う。

min-content インラインサイズ （max-content インラインサイズも同様）は、分子の margin box のそれと 分母の margin box のどちらか大きい方。

inline 伸長サイズ制約 または block 伸長サイズ制約 がある場合、 分子 も同じ伸長サイズ制約でレイアウトし、 そうでなければ制約なしでレイアウト。分母 は常に制約なしでレイアウト。

数式コンテンツの inline size は、 分子 と 分母 の margin box の inline size の大きい方。

NumeratorShift は以下の最大値：

• FractionNumeratorShiftUp（ FractionNumeratorDisplayStyleShiftUp ）math-style が compact（normal）の時）。
• AxisHeight ＋分数線の半分の太さ＋ FractionNumeratorGapMin （FractionNumDisplayStyleGapMin）＋ 分子のインクディセント （math-style が compact （normal）の時）。

DenominatorShift は以下の最大値：

• FractionDenominatorShiftDown （ FractionDenominatorDisplayStyleShiftDown）（ math-style が compact（normal）の時）。
• 分数線の半分の太さ＋ FractionDenominatorGapMin （FractionDenomDisplayStyleGapMin ）＋ 分母のインクアセント −AxisHeight （math-style が compact （normal）の時）。

数式コンテンツの line-ascent は、以下の最大値：

• Numerator Shift＋ 分子のline-ascent
• −Denominator Shift＋ 分母のline-ascent
• AxisHeight＋分数線半分の太さ

数式コンテンツの line-descent は、以下の最大値：

• −Numerator Shift＋ 分子のline-descent
• Denominator Shift＋ 分母のline-descent
• −AxisHeight＋分数線半分の太さ
• 0

分子（分母も同様）の inline offset は、数式コンテンツの inline size の半分− 分子（分母）の margin box の inline size の半分。

分子（分母も同様）の アルファベットベースライン は 基準ベースラインから NumeratorShift（DenominatorShift）だけ line-over（line-under）方向にずらす。

math content box は content box 内でブロック開始端が揃い、エッジ中央も揃うよう配置する。

分数線の inline size は content box の inline size で、 inline-start は content box の inline-start と一致。 分数線中心は math content box の アルファベットベースライン から AxisHeight だけ line-over 側にシフトする。 block size は 分数線の太さ になる。

分数線の太さがゼロの場合、 <mfrac> 要素は 図 13 のようにレイアウトされる。

数式コンテンツの min-content inline size、max-content inline size、 inline size は 3.3.2.1 分数線が非ゼロの場合 と同様に計算される。

inline 伸長サイズ制約 または block 伸長サイズ制約 がある場合、 分子 も同じ制約でレイアウト、 そうでなければ制約なし。分母 は常に制約なし。

math-style が compact なら TopShift と BottomShift はそれぞれ StackTopShiftUp、StackBottomShiftDown を用いる。 それ以外（normal）は StackTopDisplayStyleShiftUp と StackBottomDisplayStyleShiftDown を使う。

Gap は （BottomShift − 分母のインクアセント） ＋（TopShift − 分子のインクディセント） と定義。 math-style が compact なら GapMin は StackGapMin。 それ以外は StackDisplayStyleGapMin。 Δ = GapMin−Gap が正なら TopShift と BottomShift をそれぞれ Δ/2、Δ−Δ/2 増やす。

数式コンテンツの line-ascent は、以下の最大値：

• TopShift＋ 分子のline-ascent
• −BottomShift＋ 分母のline-ascent

数式コンテンツの line-descent は、以下の最大値：

• −TopShift＋ 分子のline-descent
• BottomShift＋ 分母のline-descent
• 0

分子・分母のinline offset 計算は、 3.3.2.1 分数線が非ゼロの場合と同じ。

分子（分母も同様）の アルファベットベースライン は 基準ベースラインから TopShift（−BottomShift）だけ line-over（line-under）方向にずらす。

math content box は content box 内でブロック開始端が揃い、中央も揃うよう配置する。

根号記号は <msqrt> や <mroot> 要素の visibility が visible の場合のみ描画される。 その場合、記号はその要素の color で描画。

根号グリフ は、 U+221A SQUARE ROOT 文字で得られるグリフ。

根号ギャップ は RadicalVerticalGap （math-style が compact の時） または RadicalDisplayStyleVerticalGap （math-style が normal の時）。

伸縮する根号グリフのターゲットサイズは RadicalRuleThickness、 根号ギャップ、 基底のインク高さの合計。

根号グリフのボックスメトリクス および 根号の描画 は、 伸縮グリフの字形化アルゴリズム（ターゲットサイズを block dimension とする）に従う。

<msqrt> 要素は 図 14 のようにレイアウトされる。

数式コンテンツの min-content inline size （max-content inline sizeも同様）は 根号グリフの ブロック軸方向に伸ばした場合の好ましいインラインサイズ と、msqrt の基底の margin box の min-content inline size（max-content inline size）との和。

数式コンテンツの inline size は、 根号グリフのボックスメトリクス のアドバンス幅と msqrt の基底の margin box の inline sizeの和。

数式コンテンツの line-ascent は以下の最大値：

• msqrt の基底の margin box の line-ascent
• msqrt の基底 の インクアセント＋ 根号ギャップ＋RadicalRuleThickness＋ RadicalExtraAscender

数式コンテンツの line-descent は以下の最大値：

• msqrt の基底の margin box の line-descent
• 根号グリフのボックスメトリクスの line-ascent＋line-descent＋ RadicalExtraAscender から 数式コンテンツの line-ascent を引いた値

オーバーバーの inline size は msqrt の基底の margin box の inline size。 msqrt の基底および オーバーバーの inline offset も同じで、 値は 根号グリフのボックスメトリクスの幅。

msqrt の基底 の アルファベットベースライン は全体のベースラインと揃う。 オーバーバーの block size は RadicalRuleThickness。 その垂直中心は、数式コンテンツの line-ascent − RadicalExtraAscender − RadicalRuleThickness÷2 だけ ベースラインから line-over 方向にオフセット。

最後に 根号記号の描画 を行う：

• inline offset 0 位置
• オーバーバーの line-over エッジから line-under エッジ側へ、グリフのアセント分だけずらした block offset 位置

<mroot> 要素は 図 15 のようにレイアウトされる。 mroot の指数を一旦無視して、 mroot の基底 と根号グリフを 図 14 と同様のアルゴリズムでレイアウトし緑で示す margin box B を構成する。

数式コンテンツの min-content inline size （max-content inline sizeも同様）は max(0, RadicalKernBeforeDegree）、 mroot の指数の margin box の同サイズ、 max(−そのサイズ, RadicalKernAfterDegree) 、B の 同サイズ の合計。

同じ値域制限で、 AdjustedRadicalKernBeforeDegree および AdjustedRadicalKernAfterDegree はそれぞれ max(0, RadicalKernBeforeDegree) および max(−指数 margin box のinline size, RadicalKernAfterDegree) と定義。

数式コンテンツの inline size は AdjustedRadicalKernBeforeDegree、 指数の margin box の inline size、 AdjustedRadicalKernAfterDegree、 B の inline size の合計。

数式コンテンツの line-ascent は以下の最大値：

• −B の line-descent ＋ RadicalDegreeBottomRaisePercent × B の block size ＋ 指数 margin box の line-ascent
• B の line-ascent

数式コンテンツの line-descent は以下の最大値：

• B の line-descent − RadicalDegreeBottomRaisePercent × B の block size ＋ 指数 margin box の line-ascent
• B の line-descent

指数の inline offset は AdjustedRadicalKernBeforeDegree。 mroot の基底も同じ位置+指数 margin box の inline size。

B の アルファベットベースライン は 全体の アルファベットベースライン と揃える。 指数の アルファベットベースラインは line-under エッジから RadicalDegreeBottomRaisePercent × B の block size＋ 指数 margin box の line-descent だけオフセットされる。

mpadded 要素は 匿名 <mrow> ボックス（ mpadded 内部ボックス）を生成し、 inner inline size・inner line-ascent・inner line-descent というパラメータを持つ。

指定パラメータの決定方法：

• 指定幅は width プロパティの解決値。 width 属性が存在し有効かつパーセントでなければ、 その値で表示ヒントとして 要素の width プロパティに設定。
• height 属性が存在せず無効またはパーセントなら指定高さは inner line-ascent。 そうでなければheight属性の解決値（負値は0に丸める）。
• depth 属性が存在せず無効またはパーセントなら指定depthは inner line-ascent。 そうでなければdepth属性の解決値（負値は0に丸める）。
• lspace 属性が存在せず無効またはパーセントなら指定lspaceは0。そうでなければ解決値（負値は0に丸める）。
• voffset 属性が存在せず無効またはパーセントなら指定voffsetは0。そうでなければ解決値。
  注

  voffset の負値は 0 に丸められない。

<mpadded> 要素の計算された display プロパティが block math または inline math でない場合、対応するCSS仕様に従ってレイアウトされる。 それ以外の場合、図 16 のようにレイアウトされる。

数式コンテンツの min-content inline size・max-content inline sizeは、 3.3.6.1 内側ボックスと要求パラメータ で計算される値（"inner inline size" の代わりに mpadded 内部ボックスの値を使う）。

数式コンテンツの inline size は 3.3.6.1 内側ボックスと要求パラメータで計算される指定幅。

数式コンテンツの line-ascent は指定高さ、 line-descent は指定depth。

mpadded 内部ボックス は、 その アルファベットベースライン を 指定voffsetだけ line-over 方向にシフトして配置される。

<msub> 要素の フロー内 子が2つでない場合、 mrow 要素と同じレイアウトアルゴリズムになる。 2つの場合、1番目の フロー内 子が msub の基底、 2番目が msub 下付き と呼び、 レイアウトアルゴリズムは 3.4.1.2 下付き付き基底 で説明されている。

<msup> 要素の フロー内 子が2つでない場合、 mrow 要素と同じレイアウトアルゴリズムになる。 2つの場合、1番目の フロー内 子が msup の基底、 2番目が msup 上付き と呼び、 レイアウトアルゴリズムは 3.4.1.3 上付き付き基底 で説明されている。

<msubsup> 要素の フロー内 子が3つでない場合、 mrow 要素と同じレイアウトアルゴリズムになる。 3つの場合、1番目の フロー内 子が msubsup の基底、 2番目が msubsup 下付き、 3番目が msubsup 上付き と呼び、 レイアウトアルゴリズムは 3.4.1.4 下付き・上付き付き基底 で説明されている。

<msub> 要素は 図 17 のようにレイアウトされる。 LargeOpItalicCorrection は msub の基底 が 装飾演算子 で、 largeop プロパティがある場合はその イタリック補正 であり、それ以外は0。

数式コンテンツの min-content inline size（max-content inline sizeも同様）は、 msub の基底 の margin box の min-content inline size − LargeOpItalicCorrection ＋ msub 下付き の margin box の min-content inline size ＋ SpaceAfterScript。

inline 伸長サイズ制約 または block 伸長サイズ制約 があれば msub の基底 も同じ制約でレイアウトされ、 そうでない場合は制約なしでレイアウト。スクリプトは常に制約なしでレイアウトされる。

数式コンテンツの inline size は msub の基底 の margin box の inline size − LargeOpItalicCorrection ＋ msub 下付き の margin box の inline size ＋ SpaceAfterScript。

SubShift は次の最大値：

• SubscriptShiftDown
• 下付きの インクアセント − SubscriptTopMax
• SubscriptBaselineDropMin ＋ msub の基底 の インクディセント

数式コンテンツの line-ascent は次の最大値：

• msub の基底 の margin box の line-ascent
• 下付きの margin box の line-ascent − SubShift

数式コンテンツの line-descent は次の最大値：

• msub の基底 の margin box の line-descent
• 下付きの margin box の line-descent ＋ SubShift

msub の基底 の inline offset は0、 msub 下付き の inline offset は msub の基底 の margin box の inline size − LargeOpItalicCorrection。

msub の基底 はその アルファベットベースライン を 全体のベースラインに一致させて配置し、 msub 下付き はその アルファベットベースライン を 基準ベースラインから SubShift だけ line-under 側にシフトして配置される。

<msup> 要素は 図 18 のようにレイアウトされる。 ItalicCorrection は msup の基底 が 装飾演算子 かつ largeop プロパティがない場合 0、それ以外は イタリック補正。

数式コンテンツの min-content inline size（max-content inline sizeも同様）は msup の基底 の margin box の min-content inline size ＋ ItalicCorrection ＋ msup 上付き の margin box の min-content inline size ＋ SpaceAfterScript。

inline 伸長サイズ制約 または block 伸長サイズ制約 があれば msup の基底 も同じ制約でレイアウトされ、 そうでなければ制約なしでレイアウト。スクリプトは常に制約なしでレイアウトされる。

数式コンテンツの inline size は msup の基底 の margin box の inline size ＋ ItalicCorrection ＋ msup 上付き の margin box の inline size ＋ SpaceAfterScript。

SuperShift は次の最大値：

• 要素の計算済みmath-shiftプロパティがcompactなら SuperscriptShiftUpCramped の値、 それ以外なら SuperscriptShiftUp の値
• SuperscriptBottomMin ＋ 上付きの インク line-descent（margin box 基準）
• msup base の インク line-ascent（margin box 基準） − SuperscriptBaselineDropMax

数式コンテンツの line-ascent は次の最大値：

• msup の基底 の margin box の line-ascent
• 上付きの margin box の line-ascent ＋ SuperShift

数式コンテンツの line-descent は次の最大値：

• msup の基底 の margin box の line-descent
• 上付きの margin box の line-descent − SuperShift

msup の基底 の inline offset は0、 msup 上付き の inline offset は msup の基底 の margin box の inline size ＋ ItalicCorrection。

msup の基底 はその アルファベットベースライン を 全体のベースラインに一致させて配置し、 msup 上付き はその アルファベットベースライン を 基準ベースラインから SuperShift だけ line-over 側にシフトして配置される。

<msubsup> 要素は 図 18 のようにレイアウトされる。 LargeOpItalicCorrectionおよびSubShiftは3.4.1.2 下付き付き基底に従い、 ItalicCorrection・SuperShiftは3.4.1.3 上付き付き基底に従う。

数式コンテンツの min-content inline size（max-content inline size・ inline sizeも同様）は、 3.4.1.2 下付き付き基底 と 3.4.1.3 上付き付き基底 の計算値のうち最大のものになる。

inline 伸長サイズ制約 または block 伸長サイズ制約 があれば msubsup の基底 も同じ制約でレイアウトされ、 そうでなければ制約なしでレイアウト。スクリプトは常に制約なしでレイアウトされる。

inline 伸長サイズ制約 または block 伸長サイズ制約 があれば msubsup の基底 も同じ制約でレイアウトされ、 そうでなければ制約なしでレイアウト。スクリプトは常に制約なしでレイアウトされる。

SubSuperGap は2つのスクリプト間のblock axis方向の隙間であり、 (SubShift − msubsup 下付き の インクアセント) ＋ (SuperShift − msubsup 上付き の インクディセント) で定義される。 SubSuperGap が SubSuperscriptGapMin に満たない場合、次の手順で保証される：

1. Δ を SuperscriptBottomMaxWithSubscript − (SuperShift − msubsup 上付き の インクディセント) とする。 Δ > 0 なら Δ を {Δと SubSuperscriptGapMin − SubSuperGap} の小さい方にし、SuperShift（従って SubSuperGap も）を Δ だけ増やす。
2. Δ を SubSuperscriptGapMin − SubSuperGap とする。 Δ > 0 なら SubscriptShift（および SubSuperGap）をΔだけ増やす。

数式コンテンツの インクアセント（line-ascent、インクディセント、 line-descentも同様）は、 3.4.1.2 下付き付き基底 と 3.4.1.3 上付き付き基底 の計算結果（上記調整済みの SubShift, SuperShiftを使う）いずれか大きい値となる。

msubsup の基底・スクリプトの inline offset および block offset は 3.4.1.2 下付き付き基底 および 3.4.1.3 上付き付き基底に準ずる。

<munder> 要素の フロー内 子が2つでない場合、そのレイアウトアルゴリズムは mrow 要素と同じになる。2つであれば、最初の フロー内 子を munder base、 2番目を munder underscript と呼ぶ。

<mover> 要素の フロー内 子が2つでない場合、そのレイアウトアルゴリズムは mrow 要素と同じになる。2つであれば、最初の フロー内 子を mover base、 2番目を mover overscript と呼ぶ。

<munderover> 要素の フロー内 子が3つでない場合、そのレイアウトアルゴリズムは mrow 要素と同じになる。3つであれば、最初の子を munderover base、 2番目を munderover underscript、 3番目を munderover overscript と呼ぶ。

もし <munder>, <mover> または <munderover> の math-style プロパティが compact に設定され、 かつ基底が embellished operator で movablelimits プロパティを持つ場合、 それぞれのレイアウトアルゴリズムは <msub>, <msup>, <msubsup> の 説明と同じになる（3.4.1.2 Base with subscript, 3.4.1.3 Base with 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. If there is an inline stretch size constraint or block stretch size constraint then the element being laid out is an embellished operator. Lay out the base with the same stretch size constraint.
2. Split the list of in-flow children that have not been laid out yet into a first list LToStretch containing embellished operators with a stretchy property and inline stretch axis; and a second list LNotToStretch.
3. Perform layout without any stretch size constraint on all the items of LNotToStretch. If LToStretch is empty then stop. If LNotToStretch is empty, perform layout with inline stretch size constraint 0 for all the items of LToStretch.
4. Calculate the target size T to the maximum inline size of the margin boxes of child boxes that have been laid out in the previous step.
5. Lay out or relayout all the elements of LToStretch with inline stretch size constraint T.

<munder> 要素は 図 20 のようにレイアウトされる。 LargeOpItalicCorrection は、munder base が embellished operator かつ largeop プロパティを持つ場合の イタリック補正 であり、そうでなければ0である。

数式コンテンツの min-content inline size（および max-content inline size） は以下の方法で計算されるが、ここでは下記のインラインサイズ計算における munder base の margin box と munder underscript の margin box をそれぞれの min-content inline size（あるいは max-content inline size）で置き換えて計算する。

フロー内 の子要素は インライン軸に沿った演算子の伸長アルゴリズム を使ってレイアウトされる。

数式コンテンツの inline size は、次の差の絶対値を決定することで計算される：

• 次の最大値：
  • munder base の margin box の半分の inline size。
  • munder underscript の margin box の半分の inline size から半分の LargeOpItalicCorrection を差し引いた値。
• 次の最小値：
  • −munder base の margin box の半分の inline size。
  • −munder underscript の margin box の半分の inline size から半分の LargeOpItalicCorrection を差し引いた値。

上記の第2項で計算された最小値を m とすると、 inline offset は次のようになる： munder base の inline offset は −m − 基底の margin box の半分、 munder underscript の inline offset は −m − underscript の margin box の半分 − 半分の LargeOpItalicCorrection である。

パラメータ UnderShift と UnderExtraDescender は、以下の3つの場合をこの順に検討して決定する：

1. munder base が embellished operator で largeop プロパティを持つ場合、 UnderShift は次の最大値である：

   • LowerLimitBaselineDropMin
   • LowerLimitGapMin ＋ munder underscript のアセント

   UnderExtraDescender は 0 である。

2. munder base が embellished operator で stretchy を持ち、 インライン方向が stretch axis である場合、 UnderShift は次の最大値である：

   • StretchStackBottomShiftDown
   • StretchStackGapAboveMin ＋ munder underscript のアセント
   UnderExtraDescender は 0 である。

3. 上記のいずれにも当てはまらない場合、 UnderShift は UnderbarVerticalGap （accentunder 属性が true と ASCII 大小区別なしで一致しない場合）、 そうでなければ 0 と等しい。 UnderExtraAscender は UnderbarExtraDescender である。

数式コンテンツの line-ascent は次の最大値である：

• line-ascent のうちの munder base の margin box の値。
• line-ascent のうちの munder underscript の margin box の値 − UnderShift。

数式コンテンツの line-descent は次の最大値である：

• line-descent のうちの munder base の margin box の値。
• line-descent のうちの munder underscript の margin box の値 ＋ UnderShift ＋ UnderExtraAscender。

アルファベットベースライン は、 munder base のアルファベットベースラインが基準と一致するよう揃えられる。 munder underscript のアルファベットベースラインは、 基準ベースラインから インクラインディセント（munder base の margin box の）＋ UnderShift だけ line-under 方向に移動される。

math content box は content box 内に配置され、そのブロック開始端が揃えられ、これらのエッジの中央が同じ位置になるようにされる。

<mover> 要素は 図 21 のようにレイアウトされる。 LargeOpItalicCorrection は、mover base が embellished operator で largeop プロパティを持つ場合の イタリック補正 であり、そうでなければ0である。

min-content inline size（および max-content inline size）は、 以下のインラインサイズの計算と同様だが、ここでは mover base の margin box と mover overscript の margin box を それぞれの min-content inline size（または max-content inline size）で置き換えて計算する。

フロー内 の子要素は インライン軸に沿った演算子の伸長アルゴリズム を使ってレイアウトされる。

TopAccentAttachment は top accent attachment（mover overscript のもの）か、 定義されていない場合は mover overscript の margin box の半分のいずれかとなる。

数式コンテンツの inline size は、 インライン軸に沿った演算子の伸長アルゴリズム を適用してレイアウトを行い、次の差の絶対値を求めることで計算される：

• 次の最大値：
  • mover base の margin box の半分の inline size。
  • mover overscript の margin box の inline size − TopAccentAttachment ＋ 半分の LargeOpItalicCorrection。
• 次の最小値：
  • −mover base の margin box の半分の inline size。
  • −TopAccentAttachment ＋ 半分の LargeOpItalicCorrection。

上記の第2項で計算された最小値を m とすると、 inline offset は次のようになる： mover base の inline offset は −m − 基底の margin box の半分、 mover overscript の inline offset は −m − overscript の margin box の半分 ＋ 半分の LargeOpItalicCorrection である。

パラメータ OverShift と OverExtraDescender は、以下の3つの場合をこの順に検討して決定する：

1. mover base が embellished operator で largeop プロパティを持つ場合、 OverShift は次の最大値である：

   • UpperLimitBaselineRiseMin
   • UpperLimitGapMin ＋ mover overscript のディセント

   OverExtraAscender は 0 である。

2. mover base が embellished operator で stretchy を持ち、 インライン方向が stretch axis である場合、 OverShift は次の最大値である：

   • StretchStackTopShiftUp
   • StretchStackGapBelowMin ＋ mover overscript のディセント
   OverExtraDescender は 0 である。

3. それ以外の場合、OverShift は次のいずれかである：

   1. OverbarVerticalGap（accent 属性が ASCII 大小区別なしで true と一致しない場合）、
   2. AccentBaseHeight − line-ascent（mover base の margin box） が非負であればその値、
   3. それ以外は 0。

   OverExtraAscender は OverbarExtraAscender である。

数式コンテンツの line-ascent は次の最大値である：

• line-ascent のうちの mover base の margin box の値。
• line-ascent のうちの mover overscript の margin box の値 ＋ OverShift ＋ OverExtraAscender。

数式コンテンツの line-descent は次の最大値である：

• line-descent のうちの mover base の margin box の値。
• line-descent のうちの mover overscript の margin box の値 − OverShift。

アルファベットベースライン は、 mover base のアルファベットベースラインが基準と一致するよう揃えられる。 mover overscript のアルファベットベースラインは、 基準ベースラインから基底の インクラインアセント ＋ OverShift だけ line-over 方向に移動される。

math content box は content box 内に配置され、そのブロック開始端が揃えられ、これらのエッジの中央が同じ位置になるようにされる。

<munderover> の一般的なレイアウトは 図 22 に示される。 LargeOpItalicCorrection, UnderShift, UnderExtraDescender, OverShift, OverExtraDescender の各パラメータは、 3.4.2.3 Base with underscript と 3.4.2.4 Base with overscript と同様に計算される。

数式コンテンツの min-content inline size、max-content inline size、 および inline size は、最大の inline offset と最小の inline offset の 絶対差として計算される。これらの極値は 3.4.2.3 Base with underscript と 3.4.2.4 Base with overscript で計算される対応する極値を取り、それらの極値の極端値を用いて計算される。 inline offsets は、それぞれ munderover base, munderover underscript, munderover overscript について、対応する節と同様に計算されるが、新しい最小値 m（対応する最小値の最小値）を用いる点が異なる。

これらの節と同様に、フロー内 子要素は インライン軸に沿った演算子の伸長アルゴリズム を使ってレイアウトされる。

数式コンテンツの line-ascent および line-descent は、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 内に配置され、そのブロック開始端が揃えられ、これらのエッジの中央が同じ位置になるようにされる。

<mmultiscripts> 要素は 図 23 に示すようにレイアウトされる。 各 下付き/上付きペア に対して、 ItalicCorrection および LargeOpItalicCorrection は 3.4.1.2 Base with subscript および 3.4.1.3 Base with superscript に記載されたように定義される。

数式コンテンツの min-content inline size（および max-content inline size）は、 以下に述べる数式コンテンツの inline size の計算と同じ方法で求められるが、 mmultiscripts 基底 の margin box とスクリプトの margin boxes については "inline size" の代わりに "min-content inline size" （それぞれ "max-content inline size"） を用いる。

もし inline 伸長サイズ制約 または block 伸長サイズ制約 があれば、 mmultiscripts 基底 も同じ制約でレイアウトされる。 それ以外の場合は制約なしでレイアウトされる。他の要素は常に制約なしでレイアウトされる。

数式コンテンツの inline size は次のアルゴリズムで計算される：

1. まず inline-offset を 0 に設定する。

2. mmultiscripts プレサクリプト の各 下付き/上付きペアについて、 inline-offset を SpaceAfterScript と、次のうち大きい方を加算する：

   • 下付きの margin box の inline size
   • 上付きの margin box の inline size

3. 次に inline-offset に mmultiscripts 基底 の margin box の inline size を加え、inline-size を inline-offset に設定する。

4. mmultiscripts ポストスクリプト の各 下付き/上付きペアについて、 inline-size を少なくとも次の値に修正する：

   • x + 下付きの margin box の inline size + LargeOpItalicCorrection
   • x + 上付きの margin box の inline size − ItalicCorrection

   また inline-offset を次の最大値に更新する：

   • 下付きの margin box の inline size
   • 上付きの margin box の inline size

   さらに inline-offset に SpaceAfterScript を加算する。

5. 最後に inline-size を返す。

SubShift（および SuperShift）は、 各 下付き/上付きペア に対して 3.4.1.4 Base with subscript and superscript で記述された各下付き・上付きシフト値の最大値を取ることで算出される。

数式コンテンツの line-ascent は、上で算出した SubShift と SuperShift の値を用いて、各ペアについて 3.4.1.4 Base with subscript and superscript に記載された line-ascent の最大値を取ることで計算される。

数式コンテンツの line-descent は、同様に上で算出した SubShift と SuperShift の値を用いて、各ペアについて 3.4.1.4 Base with subscript and superscript に記載された line-descent の最大値を取ることで計算される。

最後に、フロー内 子要素の配置は次のアルゴリズムで実行される：

1. まず inline-offset を 0 に設定する。

2. まず mmultiscripts プレサクリプト の各 下付き/上付きペア について：

   1. inline-offset に SpaceAfterScript を加算する。

   2. pair-inline-size を次の最大値に設定する：

      • 下付きの margin box の inline size
      • 上付きの margin box の inline size

   3. 下付きは inline-start 位置 inline-offset + pair-inline-size − 下付きの margin box の inline size に配置する。

   4. 上付きは inline-start 位置 inline-offset + pair-inline-size − 上付きの margin box の inline size に配置する。

   5. 下付き（および上付き）の alphabetic baseline を、基準の alphabetic baseline から SubShift（それぞれ SuperShift）だけ line-under（それぞれ line-over）方向にシフトして配置する。

   6. inline-offset に pair-inline-size を加算する。

3. mmultiscripts 基底 と <mprescripts> のボックスを inline offsets の位置 inline-offset に配置し、 それらの alphabetic baselines を基準の alphabetic baseline と揃える。

4. 次に mmultiscripts ポストスクリプト の各 下付き/上付きペア について：

   1. pair-inline-size を次の最大値に設定する：

      • 下付きの margin box の inline size
      • 上付きの margin box の inline size

   2. 下付きは inline-start 位置 inline-offset − LargeOpItalicCorrection に配置する。

   3. 上付きは inline-start 位置 inline-offset + ItalicCorrection に配置する。

   4. 下付き（上付き）の alphabetic baseline を、基準の alphabetic baseline から SubShift（それぞれ SuperShift）だけ line-under（それぞれ line-over）方向にシフトして配置する。

   5. inline-offset に pair-inline-size を加算する。

   6. inline-offset に SpaceAfterScript を加算する。