CSSに対応したMathML仕様概要書
A MathML for CSS Profile

1.1 表現モデルにおける違い
Differences in formatting models

数学作業部会が特定した, 完全に一貫したMathML/CSSの統合を遅らせる主な障害と考えられる問題点は次のとおりです.

The Math Working Group has identified the following issues, which are considered to be the main obstacles delaying fully consistent MathML/CSS integration.

• 複数の行を持つ表のような, 文書途中の複雑な式の縦方向の位置添えを制御することが不十分.

  Insufficient control over vertical alignment of complex inline expressions such as inline tables with multiple rows.

• 数学の区切り記号や引き伸ばされた演算子の大きさを変えるために利用できる字形を引き伸ばして制御する仕組みやそれに相当する機能の欠如.

  Lack of a mechanism to control stretching of glyphs, or any equivalent functionality, that could be used for sizing of mathematical delimiters and stretchy operators.

• セレクタの利用や内容の階層における制御の適用範囲が限られることから, 基本的構造の記述に対して,複雑な書式を適用することが困難.

  Limited scope in the use of selectors and generation of content, which makes it difficult to apply complex formatting to basic structural markup.

• mover, munderover, mmultiscripts, mrootのようなプレゼンテーション要素の子要素の順番によって, それらが表示される位置が異なるため, これらのような要素の描画が困難.

  The order of children in presentational elements such as mover, munderover, mmultiscripts and mroot does not match their in-flow positions; this makes formatting of such elements more difficult.

• 演算子, 区切り文字, アクセントの処理が, 詳細な記述ではなく(属性値ではなく要素の内容による)演算子の辞書により決定されることから, CSSセレクタを利用してそのような演算子を特定することが不可能.

  Handling of operators, delimiters and accents governed by an operator dictionary (that is by element content rather than attribute values) rather than by explicit markup makes matching of such operators using CSS selectors impossible.

• mpadded, mspace, mstyleのようなプレゼンテーション要素の利用は, それらに相当する書式のCSSプロパティと矛盾.

  Usage of some presentational elements such as mpadded, mspace, mstyle might conflict with corresponding CSS formatting properties.

2.1 ルート要素
Root element

MathMLは, 文書中のMathMLの記述部分を内包する単一の最上位のmathルート要素を指定しています. 全てのそれ以外のMathML要素は, MathMLの式の常に最も外側の要素となる, いくつでも子要素を含むことのできるmath要素に含まれる必要があります. math要素は, 囲まれたMathML要素をディスプレイ形式で表示するか, インライン形式で表示するかを明示するdisplay属性を持ちます. 取り得る値は, "block"か"inline"(既定値)です. math要素は, MathMLの描画を実装していないソフトウェアに別の描画方法を提供するためのaltimg属性とalttext属性を持つことができます. altimg属性とalttext属性の値はそれぞれURIと文字データ(CDATA)です. 全てのMathML要素は, MathML名前空間http://www.w3.org/1998/Math/MathML[rec-xmlns]の中に置くべきです. これは, math要素に既定の名前空間宣言を加えるか, MathML名前空間に限定する名前空間接頭辞を利用することで実現できます.

MathML specifies a single top-level or root math element, which encapsulates each instance of MathML markup within a document. All other MathML markup must be contained in a math element, which must always be the outermost element of a MathML expression and can contain an arbitrary number of children. The math element carries the display attribute that specifies whether the enclosed MathML expression should be rendered in a display style or an in-line style. Allowed values are "block" and "inline" (default). It also accepts altimg and alttext attributes that provide fall-back for User Applications (UAs) that do not support MathML layout schemata. The values of altimg and alttext attributes are URI and CDATA respectively. All MathML elements should be in the MathML namespace http://www.w3.org/1998/Math/MathML [rec-xmlns]. This can be ensured by adding a default namespace declaration to math elements, or by using namespace prefixes bound to the MathML namespace.

2.2 素子要素と配置要素
Token elements and layout schemata

この仕様概要書に含まれるMathML要素は, 2つの集合に分けられます. 素子要素は, 個々の記号, 名前, 数字, ラベル等を表します. 一般に, 素子要素は, 中身として文字のみのデータを持つことができます. 配置要素は, 部分部分から式を組み立てるもので, 中身として無視される空白を除いて, 要素を持つことだけができます. また, 特定の配置要素と連携して用いられる要素もあります.

MathML elements included in the current profile can be divided into two classes. Token elements represent individual symbols, names, numbers, labels, etc. In general, tokens can have only character data as content. Layout schemata build expressions out of parts, and can only have elements as content except for whitespace, which they ignore. There are also a few empty elements used only in conjunction with specific layout schemata.

数式の個々の"記号"は全て, MathML素子要素として表現されるべきです. 基本的なMathML素子要素の分類は, 識別子(例えば, 変数や関数名), 数字, 演算子(丸がっこのようなかっこやコンマのような区切り文字を含む)です. 数学的意味よりもより美しい表現を持つ文字や空白を表す素子要素や, 数値解析システムとの互換性のための"文字列"を表す素子要素もあります. 素子要素は, 単一の意味のある"記号"(名前, 数字, ラベル, 数学記号等)を表すにも関わらず, そのような記号は, 1より多い数の文字から構成されることもあることに注意して下さい. 例えば, sinや24は, それぞれ単一の素子要素<mi>sin</mi>や<mn>24</mn>で表されます.

All individual "symbols" in a mathematical expression should be represented by MathML token elements. The primary MathML token element types are identifiers (e.g. variables or function names), numbers, and operators (including fences, such as parentheses, and separators, such as commas). There are also token elements for representing text or whitespace that has more aesthetic than mathematical significance, and for representing "string literals" for compatibility with computer algebra systems. Note that although a token element represents a single meaningful "symbol" (name, number, label, mathematical symbol, etc.), such symbols may be comprised of more than one character. For example sin and 24 are represented by the single tokens <mi>sin</mi> and <mn>24</mn> respectively.

この仕様概要書に含まれる素子要素は下の表に要約されます.

Token elements included in the current profile are summarized in the table below.

伝統的な数学の表記法では, 式は, 小さな式, 究極には単一の記号から構成されて描かれています. そして, "式の構成要素"と考えられる表現構成の小さな集合1つ1つを用いて, それをまとめたり, 位置を決めたりした部分部分から構成されます. MathMLにおいて, 式の構成要素として動作する配置要素を用いて, 同じ方法で式が構成されます. 配置要素は, 小さな式を大きな式に組み立てる方法を指定します. 配置要素という用語は, 個々の配置要素が, 伝統的な数学植字における大きな式を形作る, 小さい式を"配置する"個々の方法に対応することに由来しています.

In traditional mathematical notation, expressions are recursively constructed out of smaller expressions, and ultimately out of single symbols, with the parts grouped and positioned using one of a small set of notational structures, which can be thought of as "expression constructors". In MathML, expressions are constructed in the same way, with the layout schemata playing the role of the expression constructors. The layout schemata specify the way in which sub-expressions are built into larger expressions. The terminology derives from the fact that each layout schema corresponds to a different way of "laying out" its sub-expressions to form a larger expression in traditional mathematical typesetting.

この仕様概要書に含まれる基本的な式の構成は下の表に示すとおりです.

Basic expression constructions included in the current profile are listed in the table below.

2.3 必要な引数
Required Arguments

配置要素の中には特定の数の引数を必要とするものもあり, 例えば, mfracは分子と分母を表す2つの子要素を持つことになっています. この仕様概要書では, 必要とする子要素の数が決まっている要素は, 配置要素mrow, maction, merror, mphantomと素子要素mi, mn, mo, ms, mtextのみを子要素として持つことしかできません. この制限は, 配置要素それぞれ自身が式の集合部分を含む際に, DOMにおいての表現が1つであることを保証するためのものです. 例えば, 分子分母それ自身が分数である, 入れ子になった分数

Some layout schemata require a specific number of arguments, for example mfrac is supposed to have two child elements representing numerator and denominator. In the current profile, layout schemata with fixed number of required arguments accept only elements mrow, maction, merror, mphantom and tokens mi, mn, mo, ms, mtext as child elements. This restrictions is imposed to ensure that each part of layout schemata has its own containing block and is uniquely represented in the document object model. For example nested fractions where the numerator or denominator are themselves fractions

<mfrac>
	<mfrac>
		<mi>a</mi>
		<mi>b</mi>
	</mfrac>
	<mfrac>
		<mi>c</mi>
		<mi>d</mi>
	</mfrac>
</mfrac>

は, MathML 3.0で認められているにも関わらず, CSSに対応したMathML仕様概要書では認められていません. mrow要素で入れ子になった分数を囲むことで, 仕様概要書のこの要件に対処することができます.

are not allowed in the MathML for CSS profile, although they are allowed in MathML 3.0. It is easy to meet the profile requirements by wrapping nested fractions in mrow elements:

<mfrac>
	<mrow>
		<mfrac>
			<mi>a</mi>
			<mi>b</mi>
		</mfrac>
	</mrow>
	<mrow>
		<mfrac>
			<mi>c</mi>
			<mi>d</mi>
		</mfrac>
	</mrow>
</mfrac>

特定の配置要素で必要になる引数の数は, 下の表のとおり決められています. この仕様概要書において, mfencedとmactionの中身は, MathML 3.0仕様書で認められていたものと比べて厳密になっていることに注意して下さい.

The number of arguments required by a particular layout schemata element is specified in the table below. Note that in the current profile, the content model of mfenced and maction is stricter compared to what is allowed by MathML 3.0 specification.

要素mrow, msqrt, merror, mphantom, menclose, mtd, mathは任意の数の引数を受け入れ, また, 子要素としてこの仕様概要書の全ての配置要素と素子要素を受け入れます.

The elements mrow, msqrt, merror, mphantom, menclose, mtd and math admit any number of arguments and accept any layout schemata or token elements from current profile as children.

2.4 共通の属性
Common attributes

属性id, class, styleは, この仕様概要書に含まれる全ての要素に用いることができます. idは, 要素に重複の無い識別子を付ける仕組みを提供します. classは, 要素に1つ以上の集合の名前を割り当てます. styleは, 要素の書式情報を明示します. mathvariant属性は, 空でない素子要素に認められており, CSSを処理できないソフトウェアにフォントの変更を検知させることを保証する互換性のために, この仕様概要書に含まれています.

The attributes id, class and style can be used on any element included in the current profile: id provides a mechanism for annotating elements with unique identifiers, class assigns one or more class names to an element and style specifies style information for the current element. The attribute mathvariant is allowed on nonempty token elements, attribute is included in the profile for interoperability reasons to ensure that font changes are transparent for CSS unaware UAs.

次の表は, 共通の属性を一覧にしており, それらの値や要素として利用可能なものを示しています.

The following table lists common attributes, their values and the elements on which they can be used.

3.1 識別子 <mi>
Identifier <mi>

mi要素は, 数学の識別子を表します. その描画はmathvariant属性に応じた字体で表示される文字列の中身によって構成されます. 使用される字体によって似た文字が区別できることから, 字体は重要な意味を区別する機能をよく提供します.

An mi element represents a mathematical identifier; its rendering consists of the text content displayed in a typeface corresponding to the mathvariant attribute. Since the typeface used can distinguish similar identifiers, it often serves an important semantic function.

MathML 3.0では, mathvariantの既定値は, 要素の中身に依存し, 単一の文字の中身(例えば, <mi>x</mi>)に対しては"italic", それ以外(例えば, <mi>sin</mi>)に対しては"normal"です. このような挙動はCSSの機能とうまく合致しないため, この仕様概要書では, 表示の内容によらず"italic"が既定値で, 斜体でない字体と決められている数学の識別子(例えば, 複数の文字から成る識別子)は, はっきりとmathvariant属性を明示する必要があります.

In MathML 3.0, the default value of mathvariant depends on the content of the element, it is "italic" for single character content (e.g., <mi>x</mi>) and "normal" otherwise (e.g., <mi>sin</mi>). Such behavior does not fit well in the scope of CSS, therefore in current profile "italic" is the default value regardless of the element content and mathematical identifiers for which a non-italic typeface is desired (e.g., multi-character identifiers), must explicitly specify the mathvariant attribute.

3.2 数字 <mn>
Number <mn>

mn要素は, "数字列"や数字列として表現されるべき他のデータを表します. 一般に言って, 数字列は数字の並びで, 場合によっては小数点を含み, 正の整数や実数を表します.

An mn element represents a "numeric literal" or other data that should be rendered as a numeric literal. Generally speaking, a numeric literal is a sequence of digits, perhaps including a decimal point, representing an unsigned integer or real number.

典型的な描画ソフトウェアは, mn要素を(moのような隣接する要素との間の空白以外の)周りの余計な空白を伴わずに, その内容の文字として表すでしょう.

A typical graphical renderer would render an mn element as the characters of its content, with no extra spacing around them (except spacing from neighboring elements such as mo).

3.3 演算子 <mo>
Operator <mo>

mo要素は, 演算子や演算子として表されるべきもの全てを表します. MathMLにおいて"演算子として表される"べきものの一覧は, 広く言って全てを含みます. 前や間や後ろに置く形の通常の演算子に加えて, 大かっこや小かっこのようなかっこ, コンマやセミコロンのような区切り文字を含みます. この仕様概要書では, mo要素は, 縦に引き伸ばされる記号を提供することは期待されていません. その代わりに, mfenced要素が, 引き伸ばされた角がっこや大かっこや丸かっこ, 縦線のような縦に引き伸ばされた記号のために用いられるべきです.

An mo element represents an operator or anything that should be rendered as an operator. In MathML the list of things that should "render as an operator" is widely inclusive. Besides ordinary operators with infix, prefix, or postfix forms, fence characters such as braces, parentheses, and separators such as comma and semicolon are included. In the current profile the mo element is not expected to produce vertically stretchable delimiters; instead the mfenced element should be used for vertically stretchy delimiters such as stretchy brackets, braces, parentheses and vertical bars.

この仕様概要書は, 演算子辞書を頼りにしていないことにも注意して下さい. その代わり, 明示的にfence属性, separator属性, largeop属性を使用して, かっこ, 区切り, 大きい演算子を示すことが推奨されています. 加えて, form属性を用いて, 前や間や後ろに置く演算子を区別してもよいです. この仕様概要書において, この属性の既定値は, moが多くの子要素を持つ親要素の最初の子要素であれば"prefix", mo要素が複数の子要素を持つ親要素の最後の子要素であれば"postfix", それ以外の場合は"infix"です. 角がっこ, 大がっこ, 丸かっこ, 縦線のようなかっこを表すmo素子要素はfence属性を用いて, コンマやセミコロンのような区切りはseparator属性を用いて示されるべきです. 総和や総積や積分記号のような大きな演算子はlargeop属性を用いて表されてもよいです. また, ソフトウェアは, 演算子の周りの空白の大きさを推定するのにこれらの属性に頼ってもよいです.

Note also that this profile does not rely on an operator dictionary, but instead it is recommended to mark fences, separators and large operators explicitly using fence, separator and largeop attributes. In addition, prefix, infix and postfix operators may be distinguished using the form attribute. In the present profile, the default value of this attribute is "prefix" if the mo element is the first child of a parent element that has many children, and "postfix" if mo element is the last child of a parent with multiple children; the value is "infix" in all other cases. Those mo tokens that represent fences such as brackets, braces, parens and vertical bars should be marked using the fence attribute, separators such as comma and semicolon should be marked using the separator attribute, while large operators such as sums, products and integrals may be labeled using the largeop attribute. UAs may rely on these attribute to infer default spacing around operators.

この仕様概要書において, 引き伸ばされた演算子は, stretchar属性によって特定されるmo要素の中身を置き換える引き伸ばされた文字によって決められます. この特定された文字は, 許容される領域(縦に引き伸ばされる記号の場合は行の高さ, 水平に引き伸ばされる記号の場合は許容される幅)を埋めるように引き伸ばされると想定されています. 引き伸ばされるべきとstretchar属性によって特定される文字を見分けられないソフトウェアは, 属性を無視して代わりにmo要素の内容を表示すべきです.

In the present profile stretchy operators are defined by the stretchar attribute's specifying a stretchy character to replaces the content of an mo element. The specified character is supposed to stretch to fill the available space (height of line box in case of vertically stretchy delimiters and the available width in case of horizontally stretchy delimiters). UAs that do not recognize a character specified by an stretchar attribute as stretchy should ignore the attribute and display the content of the mo element instead.

3.4 文章 <mtext>
Text <mtext>

mtext要素は, コメント文を示すことを意図しています.

An mtext element is intended to denote commentary text.

3.5 空白 <mspace>
Space <mspace>

mspace空要素は, 属性の設定によって任意の決められた大きさの空白を表します. また, この要素は, 改行の提案を視覚的描画ソフトウェアにすることができます.

An mspace empty element represents a blank space of any desired size, as set by its attributes. It can also be used to make linebreaking suggestions to a visual renderer.

width属性は, mspace要素によって作られるべき空白の幅を定義します. 既定値は0です. 空白の名前は, 下の表で述べているとおりです.

The width attribute defines the width of the space produced by an mspace element. The default value is zero. Named values are described in table below.

linebreak属性は, 視覚的描画ソフトウェアに改行するヒントを与えるために使われます. 属性の値は下の表で定義されているとおりです.

The linebreak attribute is used to give a linebreaking hint to a visual renderer. Attribute values are defined in table below.

width属性とlinebreak属性の両方が設定されている場合, linebreak 属性は無視されます.

In the case when both the width attribute and the linebreak attribute are set, the linebreak attribute is ignored.

3.6 文字列 <ms>
String Literal <ms>

ms要素は, 数値解析システムや他の"プログラミング言語"を含むシステムによって解釈されること意図する, 式の中の"文字列"を表すために用いられます. 通常, 文字列は二重引用符で囲まれて表示されます.

The ms element is used to represent "string literals" in expressions meant to be interpreted by computer algebra systems or other systems containing "programming languages". By default, string literals are displayed surrounded by double quotes.

視覚的描画ソフトウェアにおいて, ms要素の内容は, 典型的に, 文字の周りに加えられた余分な空白を無視し, 文字の最初と最後に引用符を付けて表示します. 通常, 左と右の引用符は両方とも標準的な二重引用符"です. しかしながら, これらの文字は下のように定義されるlquote属性やrquote属性によって変えることができます.

In visual renderers, the content of an ms element is typically rendered with no extra spacing added around the string, and quote characters at the beginning and the end of the string. By default, the left and right quote characters are both the standard double quote character ". However, these characters can be changed with the lquote and rquote attributes defined below.

4.1 式の水平のグループ <mrow>
Horizontally Group Sub-Expressions <mrow>

mrow要素は, 通常, "演算子"として働く1つ以上のmo要素と"被演算子"となる式から構成される任意の数の式を一緒にまとめるのに用いられます.

An mrow element is used to group together any number of sub-expressions, usually consisting of one or more mo elements acting as "operators" on one or more other expressions that are their "operands".

4.2 分数 <mfrac>
Fractions <mfrac>

mfrac要素は, 分数に用いられます. また, 分子分母からなる式やルジャンドル記号のような分数に似た表現を記述するのにも用いられます. mfracの構文は次のとおりです.

The mfrac element is used for fractions. It can also be used to mark up the presentation of fraction-like objects such as binomial coefficients and Legendre symbols. The syntax for mfrac is:

<mfrac> 分子 分母 </mfrac>
<mfrac> numerator denominator </mfrac>

共通の属性に加えて, mfracは分子分母の水平方向の位置揃えや分数の線の太さを制御するために利用される追加の属性を持ちます.

In addition to common attributes, mfrac has additional attributes that could be used to control horizontal alignment of numerator and denominator and thickness of fraction bar.

linethickness属性は, 分数を描画するのに典型的に用いられる, 水平の"分数の線"や"罫線"の太さを表します. 値"0"は線が描画されないことを示し, 値"1"("medium"と同じ)は分数の線の既定の幅を示し, "2"("thick")は太い分数の線を示します.

The linethickness attribute indicates the thickness of the horizontal "fraction bar", or "rule", typically used to render fractions. Value "0" indicates that no bar should be rendered, value "1" (the same as "medium") refers to default width of fraction bar and "2" ("thick") produces bold fraction bar.

numalign属性とdenomalign属性は, 分子分母それぞれの水平方向の位置揃えを制御します. 典型的に分子と分母は中央揃えされます.

The numalign and denomalign attributes control the horizontal alignment of the numerator and denominator, respectively. Typically, numerators and denominators are centered.

4.3 根号 <msqrt>, <mroot>
Radicals <msqrt>, <mroot>

これらの要素は根号を構成します. msqrt要素は平方根に用いられ, mroot要素は, 例えば立方根のような, 指数の付いた根号を描くのに用いられます. これらの要素の構文は次のとおりです.

These elements construct radicals. The msqrt element is used for square roots, while the mroot element is used to draw radicals with indices, e.g., a cube root. The syntax for these elements is:

<msqrt> 基となる式 </msqrt>
<msqrt> base </msqrt>
<mroot> 基となる式 指数 </mroot>
<mroot> base index </mroot>

mroot要素はちょうど2つの引数を必要とします. ただし, msqrtは任意の数の引数を受け付けます.

The mroot element requires exactly 2 arguments. However, msqrt accepts any number of arguments.

4.4 エラーメッセージ <merror>
Error Message <merror>

merror要素は, その内容を"エラーメッセージ"として描画します. 中身は, 任意の式や式の集合とすることができます.

The merror element displays its contents as an "error message". The contents can be any expression or expression sequence.

4.5 見えない式を作る <mphantom>
Making Sub-Expressions Invisible <mphantom>

mphantom要素は, その中身を見えないように, ただし, それらが普通に描画されたときに占めるであろう, 位置を含めて高さや幅等の寸法を保ったまま描画します. mphantomは, 見えないように式を複製することで, 式の位置揃えに利用できます.

The mphantom element renders its content as invisible, but with the same size and other dimensions, including baseline position, that its contents would have if they were rendered normally; mphantom can be used to align parts of an expression by invisibly duplicating sub-expressions.

4.6 かっこの組で囲まれた式 <mfenced>
Expression Inside Pair of Fences <mfenced>

mfenced要素は, かっこ(例えば, 大かっこ, 角がっこ, 丸かっこ)に関係した構成を表現するのに便利な方法を提供します. かっこの大きさは, かっこで囲まれた式の大きさに依存します. 開始と終了のかっこは, 下に定義されているopen属性とclose属性を用いて明示します. この仕様概要書は, mfenced要素が複数の子を持つことを認めていません. 複数の子要素を持つためには, それらをmrow要素でまとめることが推奨されています.

The mfenced element provides a convenient way of expressing common constructs involving fences (i.e., braces, brackets, and parentheses). The size of the fences depends on the size of the expression enclosed by the fence element. Opening and closing fences are specified using the open and close attributes defined below. This profile does not allow an mfenced element to have multiple children; authors are encouraged to group multiple children into one mrow element if this can be done.

4.7 囲まれた式 <menclose>
Enclose Expression Inside Notation <menclose>

menclose要素は, その内容をnotation属性で特定される表現で囲んで表現します. mencloseは任意の数の引数を受け付けます.

The menclose element renders its content inside the enclosing notation specified by its notation attribute, menclose accepts any number of arguments.

notation属性で認められている値には制限がありません. 適合した描画ソフトウェアは, 最終的に下の一覧の値を認識しますが, 処理できない値を無視するように対応してもよいです.

The values allowed for notation are open-ended. Conforming renderers may ignore any value they do not handle, although renderers are supposed to recognize at least the values listed below.

値"box"は, 枠で要素の中身を囲むのに用いられます. 値"left", "right", "top", "bottom"は中身の関係する側面に線を引き, "horizontalstrike"はmencloseの中身の上に重ねて取消線を引きます.

The value "box" can be used to enclose content of the element in a frame. The values "left", "right", "top" and "bottom" should result in lines drawn on the corresponding sides of the contents, "horizontalstrike" should result in strikeout lines being superimposed over the content of the menclose.

5.1 下付き添え字 <msub>
Subscript <msub>

msub要素の構文は次のとおりです.

The syntax for the msub element is:

 <msub> 基となる式 下付き添え字 </msub>
 <msub> base subscript </msub>

この要素は基となる式に下付き添え字を付け加えるために用いられます.

The element is used to attach a subscript to a base.

5.2 上付き添え字 <msup>
Superscript <msup>

msup要素の構文は次のとおりです.

The syntax for the msup element is:

<msup> 基となる式 上付き添え字 </msup>
<msup> base superscript </msup>

この要素は基となる式に上付き添え字を付け加えるために用いられます.

The element is used to attach a superscript to a base.

5.3 下付き添え字と上付き添え字の組 <msubsup>
Subscript-superscript Pair <msubsup>

msubsup要素は, 基となる式に下付き添え字と上付き添え字の両方を付け加えるために用いられます.

The msubsup element is used to attach both a subscript and a superscript to a base expression.

msubsup要素の構文は次のとおりです.

The syntax for the msubsup element is:

<msubsup> 基となる式 下付き添え字 上付き添え字 </msubsup>
<msubsup> base subscript superscript </msubsup>

5.4 下側添え字 <munder>
Underscript <munder>

munder要素の構文は次のとおりです.

The syntax for the munder element is:

<munder> 基となる式 下側添え字 </munder>
<munder> base underscript </munder>

この要素は, 基となる式に下側添え字を付け加えるために用いられます.

The element is used to attach an underscript below a base.

5.5 上側添え字 <mover>
Overscript <mover>

mover要素の構文は次のとおりです.

The syntax for the mover element is:

<mover> 基となる式 上側添え字 </mover>
<mover> base overscript </mover>

この要素は, 基となる式に上側添え字を付け加えます.

The element is used to attach an overscript over a base.

5.6 下側添え字と上側添え字の組 <munderover>
Underscript-overscript Pair <munderover>

munderover要素の構文は次のとおりです.

The syntax for the munderover element is:

 <munderover> 基となる式 下側添え字 上側添え字</munderover>
 <munderover> base underscript overscript</munderover>

この要素は, 基となる式に下側添え字と上側添え字の両方を付け加えるために用いられます.

The element is used to attach both an underscript and an overscript to a base.

5.7 前置の添え字 <mmultiscripts>
Prescripts <mmultiscripts>

この仕様概要書において, mmultiscripts要素の構文は次のとおりです.

In the current profile the syntax for the mmultiscripts element is:

<mmultiscripts> 基となる式 <mprescripts/> 前置の下付き添え字 前置の上付き添え字</mmultiscripts>
<mmultiscripts> base <mprescripts/> presubscript presuperscript</mmultiscripts>

この要素は, 1つの基となる式に前置添え字の組を加えることを可能にしています. 省略された添え字は空要素noneで表現することができます.

This element allows adding pairs of prescripts to one base expression. Missing scripts can be represented by the empty element none.

引数は, 基となる式, それに続く空要素mprescriptsと縦に並ぶ前置の下付き添え字と上付き添え字で構成されます.

The argument sequence consists of the base followed by an empty element mprescripts and a pair of, vertically aligned, a presubscript and a presuperscript.

6.1 表または行列 <mtable>
Table or Matrix <mtable>

表または行列はmtable要素を用いて表現します.

A matrix or table is specified using the mtable element.

次に示す属性は, 位置揃えを明示したり, 枠や罫線を表に加えたりするのに使われてもよいです.

The following attributes may be used to specify alignment and to add frames and rules to the table.

rowlinesとcolumnlinesとframeそれぞれの既定値は, 既定値がないという意味でなく, 既定では線を引かないことを意味する文字列noneです.

Note that the default value for each of rowlines, columnlines and frame is the literal string none, meaning that the default is to render no lines, rather than that there is no default.

rowalign属性は, それぞれの行の要素がどのように位置揃えされるべきかを明示します. 例えば, "top"はそれぞれの行の要素の上端をその行の他の要素の上端に合わせることを意味します. columnalign属性は, それぞれの行の要素がどのように位置揃えされるべきかを明示します.

The rowalign attribute specifies how the entries in each row should be aligned. For example, "top" means that the tops of each entry in each row should be aligned with the tops of the other entries in that row. The columnalign attribute specifies how the entries in each column should be aligned.

6.2 表や行列の行 <mtr>
Row in a Table or Matrix <mtr>

mtr要素は, 表や行列の1つの行を表します. mtr要素は, 唯一mtable要素の直接の子要素として認められており, その中身は表の1つの行を形作ります. mtrの引数はそれぞれ表の左端から始まる別々の列を表します.

An mtr element represents one row in a table or matrix. An mtr element is only allowed as a direct sub-expression of an mtable element, and specifies that its contents should form one row of the table. Each argument of mtr is placed in a different column of the table, starting at the leftmost column.

次の属性は, 位置揃えを特定するために用いられてもよいです.

The following attributes may be used to specify alignment

rowalign属性とcolumnalign属性は, 特定の行について, 外側のmtable要素の同じ属性によって明示される位置揃えを上書きできます.

The rowalign and columnalign attributes allow a specific row to override the alignment specified by the same attributes in the surrounding mtable element.

6.3 表や行列の要素 <mtd>
Entry in a Table or Matrix <mtd>

mtd要素は, 表や行列の1つの要素またはマス目を表します. mtd要素は, 唯一mtrの直接の子要素として認められています.

An mtd element represents one entry, or cell, in a table or matrix. An mtd element is only allowed as a direct sub-expression of an mtr.

次の属性は, 位置揃えを特定するために用いられてもよいです.

The following attributes may be used to specify alignment

rowalign属性とcolumnalign属性は, 特定の行列の要素について, 外側のmtable要素やmtr要素で明示されている位置揃えを上書きできます.

The rowalign and columnalign attributes allow a specific matrix element to override the alignment specified by a surrounding mtable or mtr element.

7.1 足し算や引き算や掛け算の筆算 <mstack>
2D addition, subtraction and multiplication <mstack>

足し算や引き算や掛け算の筆算のような初等数学の表記における表に似た構造は, mstack配置要素を用いて表すことができます. mstackの縦の位置揃えは, align属性によって明示します. この仕様概要書において, mstackにおける数字の水平の位置揃えは既定では単にrightのみです. これは, 現在のCSSの実装では, mstack配置要素に対して, より洗練された位置揃えの仕組みを処理することが見込めないためです.

Table like structures in elementary math notations such as 2D addition, subtraction and multiplication can be produced using mstack layout schemata. Vertical alignment of mstack is specified by align attribute. In current profile horizontal alignment of numbers within mstack simply defaults to right, as current CSS implementations are unlikely to handle more sophisticated alignment mechanisms for mstack layout schemata.

この要素は, 1つ以上のmn素子要素とそれに続くmsrow要素と, msline, そして1つ以上のmn素子要素とそれに続く必須でないmslineの集合から構成されます.

Element contains one or more mn tokens followed by msrow element, msline and groups consisting of one or more mn tokens followed by optional msline.

mstack要素の構文は次のとおりです.

The syntax for the mstack element is:

<mstack stackalign="right"> (1つ以上のmn素子要素) (msrow要素) <msline/> (1つ以上のmn素子要素とそれに続く必須でないmslineの集合)+ </mstack>

<mstack stackalign="right"> (one or more mn tokens) (msrow element) <msline/> (one or more mn tokens followed by optional msline)+ </mstack>

7.2 水平の行 <msrow>
Horizontal rows <mrow>

この仕様概要書において, msrow要素は, 足し算や引き算や掛け算の筆算のような初等数学の表記において, 演算子を最後の被演算子の前に付け加えるのに用いられます.

In the present profile msrow element is used to add operator before last operand in elementary math notations such as 2D addition, subtraction and multiplication.

この要素は, mo素子要素とそれに続くmn素子要素から構成されます.

Element contains mo token followed by mn token

msrow要素の構文は次のとおりです.

The syntax for the msrow element is:

<msrow><mo>演算子</mo><mn>被演算子</mn></msrow>

<msrow><mo>operator</mo><mn>operand</mn></msrow>

7.3 割り算の筆算 <mlongdiv>
Long division <mlongdiv>

割り算の筆算に対する初等数学の表記は, mlongdiv配置要素を用いて提供されます. mlongdivの縦の位置揃えはalign属性によって明示されます. この仕様概要書において, mlongdivにおける数字の水平の位置揃えは, 既定では単にleftのみです. これは, 現在のCSSの実装では, mlongdiv要素に対して, より洗練された位置揃えの仕組みを処理することが見込めないためです.

Elementary math notations for long division can be produced using mlongdiv layout schemata. Vertical alignment of mlongdiv is specified by align attribute. In current profile horizontal alignment of numbers within mlongdiv simply defaults to left, as current CSS implementations are unlikely to handle more sophisticated alignment mechanisms for mlongdiv layout schemata.

この要素は, 割り算の商を表すmn素子要素とそれに続く除数を表すmn素子要素, そして1つ以上のmn素子要素とそれに続く必須でないmsline要素の集合から構成されます.

Element contains mn token representing result of the division followed by mn token representing divisor and groups consisting of one or more mn tokens followed by optional msline element.

mlongdiv要素の構文は次のとおりです.

The syntax for the mlongdiv element is:

<mlongdiv stackalign="left"> (割り算の商) (除数) (1つ以上のmn素子要素とそれに続く必須でないmslineの集合)+ </mlongdiv>

<mlongdiv stackalign="left"> (result of the division) (divisor) (one or more mn tokens followed by optional msline)+ </mlongdiv>

8.1 式と動作を結び付ける <maction>
Bind Action to a Sub-Expression <maction>

式に動作を結び付ける仕組みを提供するために, MathMLはmaction要素を提供します. 動作の種類はactiontype属性によって明示されます. この仕様概要書は, "tooltip"のみ種類を定義しています.

To provide a mechanism for binding actions to expressions, MathML provides the maction element. The action type is specified by the actiontype attribute. Current profile defines only "tooltip" actiontype.

<maction actiontype="tooltip"> 基となる式 ツールティップボックスの内容 </maction>

<maction actiontype="tooltip"> base tooltip </maction>

マウスカーソルが式の上に重なったとき, この種類の動作を処理するソフトウェアは, 2番目の子要素の内容を"ツールティップ"ボックスに表示すべきです.

When a mouse cursor is placed over an expression UAs that support this action type should display the content of the second child in a "tooltip" box.

8.2 意味情報を対応させる <semantics>
Add semantic mapping <semantics>

この仕様概要書は, 配置要素を数式の視覚的構造を表すものとして処理します. 式の内容について述べたり, 数式の代替の表記方法を提供する等の追加の意味情報を付け加えるために, コンテントMathMLのsemantics要素を用いることができます. この仕様概要書において, semantics要素の中身は, プレゼンテーションMathMLとそれに続くannotation要素やannotation-xml要素に限られます.

The current profile deals with layout schemata that reflect the visual structure of mathematical formulae. To attach extra semantic information that describes the content of formulae or provide an alternative encoding of a mathematical expression one can use the Content MathML semantics element. In current profile content model of semantics element is limited to presentational MathML followed by annotation and/or annotation-xml elements.

9.1 拡張
Extensibility

この仕様概要書がXML/CSS環境の利用に合致するように設計されるまで, DTDに新しい要素や属性[rec-xml]を加えることやスタイルシートで既定の書式を明示することによって, 拡張することは比較的簡単でした. しかしながら, 新しい要素はそれ自身の名前空間に位置すべきで, 存在するMathML要素に加えられた新しい属性は名前空間の接頭辞を持つべきです. 著作者や実装者は可能な限り標準的な記述を用いることが強く推奨されます. 同じように, MathMLの式の仕組みを用いる文書の更新者は, 関係のある標準化活動を観察し, 可能な限りより標準化された記述を用いるよう文書を更新することが推奨されます.

Since the current profile is designed to be suitable for use in an XML/CSS environment, it is relatively easy to extend it by adding new elements or attributes [rec-xml] to a DTD and specifying the default formatting in a style sheet. However any new elements should be placed in their own namespace and any new attributes added to existing MathML elements should have a namespace prefix; authors and implementers are strongly encouraged to use standard markup whenever possible. Similarly, maintainers of documents employing MathML extension mechanisms are encouraged to monitor relevant standards activity and to update documents to use more standardized markup as it becomes available.

9.2 適合
Conformance

CSSに対応したMathML仕様概要書に適合する文書はMathML 3.0文書と適合すべきで, また, この仕様概要書に含まれるMathML要素と属性のみを用いるべきです. 決まった数の引数を持つ配置要素の中身は, 必要とされる引数の一覧やこの仕様概要書のDTDで明示される内容モデルと適合すべきです.

Documents that conform to this MathML for CSS profile should be conformant MathML 3.0 documents and should use only those MathML elements and attributes included in the current profile. The content of layout schemata with a fixed number of arguments should match the content model specified in the list of required arguments and the profile's DTD.

CSSに対応したMathML仕様概要書に適合するソフトウェアは, この仕様概要書に含まれる全てのMathML要素と属性に対応すべきです. これらのソフトウェアは, 認識できない要素に出くわしたとき, その要素を無視してもよいですが, その中身は処理すべきです. 標準的なDOMに対応するソフトウェアは, 一般的なDOMインターフェイスを介してそのような要素を処理することが推奨されています. スタイルシートに対応したソフトウェアは, そのような要素にスタイルシートで明示されている書式を適用することが推奨されています.

UAs that conform to the MathML for CSS profile should support all MathML elements and attributes included in profile. When a conformant UA encounters an element that it does not recognize it may ignore that element, but should process its content. UAs that support the standard DOM are encouraged to expose such elements through generic DOM Element interface. UAs that support style sheets are encouraged to apply formatting specified in style sheets to such elements.