<semantics>

MathMLにおいては，数学をタグ付けるには二つの方法があり，表示 (presentation)MathMLが数式の配置を制御するのに用いられる一方，内容 (content)MathMLは数式の論理的意味の符号化及び数式処理系 (computer algebra system)に適するような数式の変換を念頭に設計されています。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
  ここに「application/mathml+xml」を挙げていないことに留意してください，というのもこれでは内容MathMLか表示MathMLかを区別できないからです。

属性

<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>

仕様

ブラウザー互換機

Gecko固有の注記

• (Firefox 23 / Thunderbird 23 / SeaMonkey 2.20)において，semantics要素下の可視子要素を決定する算法がMathML仕様に準じるよう修正されました。以前では，最初の子要素が〔無条件に〕描画されていました。
• Geckoでは，src属性が指定されている場合，<annotation>及び<annotation-xml>は無視されます。