<semantics>
MathMLにおいては,数学をタグ付けるには二つの方法があり,表示MathMLが数式の配置を制御するのに用いられる一方,内容MathMLは数式の論理的意味の符号化及び数式処理系に適するような数式の変換を念頭に設計されています。MathML要素<semantics>
,<annotation>
及び<annotation-xml>
を用いることで,表示MathMLと内容MathMLを組み合せ,数式の配置情報及び論理的意味の双方を記述できます。
<semantics>
要素は注釈に関連したコンテナ要素として振舞い,子要素を持たなくてはなりません(そうでない場合,無効なタグ付けとして誤り報告されます)。<annotation>
要素には非XML形式の論理的情報が含まれ,対して<annotaiton-xml>
要素にはXML形式の情報(例: 内容MathMLやOpenMath)が含まれます。
<semantics>
要素における可視子要素を決定する規則を次に挙げます。
- 適用すべき規則がない場合: 既定では最初の子要素のみ描画しますが,当要素は表示MathMLでなくてはなりません。
- 最初の子要素が
<annotation>
又は<annotation-xml>
以外の表示MathML要素の場合,当要素が描画されます。 - 表示MathMLが見当らない場合,
<semantics>
要素の最初の<annotation>
又は<annotation-xml>
子要素を描画します。
encoding
属性で次の孰れかが指定されている場合,<annotation-xml>
要素のみが認識されることに気を付けてください。- application/mathml-presentation+xml
- MathML-Presentation
- SVG1.1
- text/html
- image/svg+xml
- application/xml
属性
<annotation>
及び<annotation-xml>
要素には次の属性が設定できます。
- definitionURL
- The location of the annotation key symbol.
- encoding
- 当注釈における論理的情報の符号化方法(例: 「MathML-Content」,「MathML-Presentation」,「application/openmath+xml」,「image/png」)。
- cd
- The content dictionary that contains the annotation key symbol.
- name
- The name of the annotation key symbol.
- src
- 論理的情報の為の外部資源の場所。
例
<math>
<semantics>
<!-- 表示MathML -->
<mrow>
<msup>
<mi>x</mi>
<mn>2</mn>
</msup>
<mo>+</mo>
<mi>y</mi>
</mrow>
<!-- 内容MathML -->
<annotation-xml encoding="MathML-Content">
<apply>
<plus/>
<apply>
<power/>
<ci>x</ci>
<cn type="integer">2</cn>
</apply>
<ci>y</ci>
</apply>
</annotation-xml>
<!-- 画像注釈 -->
<annotation encoding="image/png" src="some/path/formula.png"/>
<!-- TeX形式の注釈 -->
<annotation encoding="application/x-tex">
x^{2} + y
</annotation>
</semantics>
</math>
仕様
ブラウザー互換機
BCD tables only load in the browser
Gecko固有の注記
- (Firefox 23 / Thunderbird 23 / SeaMonkey 2.20)において,semantics要素下の可視子要素を決定する算法がMathML仕様に準じるよう修正されました。以前では,最初の子要素が〔無条件に〕描画されていました。
- Geckoでは,src属性が指定されている場合,
<annotation>
及び<annotation-xml>
は無視されます。