MathML の記述

このページでは、タグと属性をテキスト形式で記述する MathML 言語を使って数学を記述する方法を説明します。 HTML や SVG と同様に、このテキストは複雑なコンテンツではとても冗長になるため、軽量マークアップ言語からのコンバーターや WYSIWYG 数式エディターなどの適切なオーサリングツールが要求されます。そのようなツールは数多く利用できるので、網羅的なリストを提供することは不可能です。代わりに、この記事では一般的な手法と例に焦点を当てます。

MathML の使用

MathML の数式がオーサリングツールで生成されるとしても、文書内の数式を適切に統合するためのヒントをいくつか知っておくことが重要です。

HTML ページ中の MathML

それぞれの MathML 数式はルート math 要素で表され、HTML ページに直接埋め込むことができます。既定では、数式はインラインで表示され、高さが最小になるように調整されます。 display="block" 属性を使用すると、複雑な数式を普通に、自分自身で段落を作って表示することができます。

html
<!doctype html>
<html lang="en-US">
  <head>
    <meta charset="UTF-8" />
    <title>MathML in HTML5</title>
  </head>
  <body>
    <h1>MathML in HTML5</h1>

    <p>
      One over square root of two (inline style):
      <math>
        <mfrac>
          <mn>1</mn>
          <msqrt>
            <mn>2</mn>
          </msqrt>
        </mfrac>
      </math>
    </p>

    <p>
      One over square root of two (display style):
      <math display="block">
        <mfrac>
          <mn>1</mn>
          <msqrt>
            <mn>2</mn>
          </msqrt>
        </mfrac>
      </math>
    </p>
  </body>
</html>

メモ: XML 文書内の MathML(XHTML、EPUB、OpenDocumentなど)を使用するには、各 <math> 要素に xmlns="http://www.w3.org/1998/Math/MathML" 属性を配置してください。

メモ: 電子メールやインスタントメッセージクライアントの中には、HTML 形式でメッセージを送受信できるものがあります。そのため、 MathML タグがマークアップサニタイザーによってフィルタリングされない限り、そのようなメッセージの中に数式を埋め込むことは使用可能です。

MathML に対応していないブラウザー向けの代替策

MathML に対応していないブラウザーに対しては、代替機構を提供することが推奨されます。もし文書が基本的な数式しか持たないのであれば、小さな mathml.css スタイルシートで十分かもしれません。条件付きで読み込むには、文書内のヘッダーに 1 行挿入するだけです。

html
<script src="https://fred-wang.github.io/mathml.css/mspace.js"></script>

ただ、もっと高度な表現も使いたいという場合にはもう少し大きい MathJax ライブラリーを用いると良いでしょう。

html
<script src="https://fred-wang.github.io/mathjax.js/mpadded-min.js"></script>

また、 MathML に対応していないブラウザーに対しては、ページの上部に警告を表示し、上記の代替案のいずれかをユーザーに選ばせることもできます。

html
<script src="https://fred-wang.github.io/mathml-warning.js/mpadded-min.js"></script>

メモ: これら 2 つのスクリプトは mspace または mpadded 要素の機能検出を行うことに注意してください(これらのページのブラウザー互換性表を参照してください)。また、良好な MathML の対応のないブラウザーのためにページの上部に警告を表示し、ユーザーに上記のフォールバックのいずれかを選択させるための同様のスクリプトもあります。

数学記号用のフォント

MathML フォントの記事で説明したように、数学フォントは MathML コンテンツをレンダリングするのに役立ちます。そのため、そのようなフォントのインストール手順を共有したり、ウェブフォントとして指定されたフォントを提供することは常によい考えです。

MathFonts ページは、そのようなウェブフォントを適切なスタイルシートとともに提供しています。例えば、以下の行を文書内のヘッダーに挿入するだけで、フォールバックのウェブフォントとともに現代の欧文フォントを選択することができます。

html
<link
  rel="stylesheet"
  href="https://fred-wang.github.io/MathFonts/LatinModern/mathfonts.css" />

いくつかのフォントが提案されており、異なるスタイルを選択することができます。例えば STIX の場合は次のようになります。

html
<link
  rel="stylesheet"
  href="https://fred-wang.github.io/MathFonts/STIX/mathfonts.css" />

メモ: MathFonts のページにあるフォントとスタイルシートはオープンソースライセンスの下で配布されていますので、自分自身でコピーされたり、必要なものに変更したりするのは無料です。

簡易記法からの変換

この節では、人気のある LaTeX 言語のような軽量マークアップ言語から MathML を変換するいくつかのツールをレビューします。

クライアント側での変換

この手法では、数式はウェブページで直接書かれ、JavaScript ライブラリーが MathML への変換を行います。これはおそらく最も簡単なオプションですが、いくつかの課題もあります。余分な JavaScript コードを読み込んで実行しなければならない、作者は予約文字をエスケープしなければならない、ウェブクローラーは MathML 出力にアクセスすることができないなど...。

カスタム要素を用いてソースコードをホスティングし、対応する MathML 出力を確実に挿入し、 shadow サブツリー経由でレンダリングすることができます。例えば、 TeXZilla<la-tex> 要素を用いれば、上記の MathML の例を以下のように簡潔に書き換えることができます。

html
<!doctype html>
<html lang="en-US">
  <head>
    <meta charset="UTF-8" />
    <title>MathML in HTML5</title>
    <script src="https://fred-wang.github.io/TeXZilla/TeXZilla-min.js"></script>
    <script src="https://fred-wang.github.io/TeXZilla/examples/customElement.js"></script>
  </head>
  <body>
    <h1>MathML in HTML5</h1>

    <p>
      One over square root of two (inline style):
      <la-tex>\frac{1}{\sqrt{2}}</la-tex>
    </p>

    <p>
      One over square root of two (display style):
      <la-tex display="block">\frac{1}{\sqrt{2}}</la-tex>
    </p>
  </body>
</html>

LaTeXに慣れない場合は、 ASCIIMathjqMath などの構文も利用できます。 JavaScript ライブラリーを読み込んで、適切な区切り文字を使用してください。

html
<!doctype html>
<html lang="en-US">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width" />
    <title>ASCII MathML</title>
    …
    <!-- ASCIIMathML.js -->
    <script src="/path/to/ASCIIMathML.js"></script>
    …
    <!-- jqMath -->
    <script src="https://mathscribe.com/mathscribe/jquery-1.4.3.min.js"></script>
    <script src="https://mathscribe.com/mathscribe/jqmath-etc-0.4.6.min.js"></script>
    …
  </head>
  <body>
    …
    <p>One over square root of two (inline style, ASCIIMath): `1/(sqrt 2)`</p>
    …
    <p>One over square root of two (inline style, jqMath): $1/√2$</p>
    …
    <p>One over square root of two (display style, jqMath): $$1/√2$$</p>
    …
  </body>
</html>

コマンドラインのプログラム

ページ読み込み時に MathML 式を生成する代わりに、コマンドラインツールに頼ることができます。これにより、静的な MathML コンテンツを持つページがより速く読み込まれるようになります。クライアント側での変換のコンテンツを持つページ input.html をもう一度考えてみましょう。

html
<!doctype html>
<html lang="en-US">
  <head>
    <meta charset="UTF-8" />
    <title>MathML in HTML5</title>
  </head>
  <body>
    <h1>MathML in HTML5</h1>
    <p>One over square root of two (inline style): $\frac{1}{\sqrt{2}}$</p>
    <p>One over square root of two (display style): $$\frac{1}{\sqrt{2}}$$</p>
  </body>
</html>

そのページは script タグを持っていません。代わりに、 Node.jsTeXZilla を使用すると、以下のコマンド行で変換が実行されます。

bash
cat input.html | node TeXZilla.js streamfilter > output.html

このコマンドを実行すると、以下の HTML 出力を格納したファイル output.html が作成されます。ドルで区切られた数式は MathML に変換されています。

html
<!DOCTYPE html>
<html lang="en-US">
  <head>
    <meta charset="UTF-8" />
    <title>MathML in HTML5</title>
  </head>
  <body>
    <h1>MathML in HTML5</h1>

    <p>
      One over square root of two (inline style):
      <math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mfrac><mn>1</mn><msqrt><mn>2</mn></msqrt></mfrac><annotation encoding="TeX">\frac{1}{\sqrt{2}}</annotation></semantics></math>
    </p>

    <p>
      One over square root of two (display style):
      <math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mfrac><mn>1</mn><msqrt><mn>2</mn></msqrt></mfrac><annotation encoding="TeX">\frac{1}{\sqrt{2}}</annotation></semantics></math>
    </p>
  </body>
</html>

任意の LaTeX 文書を MathML コンテンツを含む文書に変換することを目的とした、より洗練されたツールがあります。例えば、 LaTeXML を使って以下のコマンドを実行すると、 foo.tex が HTML や EPUB 文書に変換されます。

bash
latexmlc --dest foo.html foo.tex # Generate a HTML document foo.html
latexmlc --dest foo.epub foo.tex # Generate an EPUB document foo.epub

latexmlc--javascript 引数を受け付けます。この引数を使用することで、上記のフォールバックスクリプトのいずれかを含めることができます。

bash
latexmlc --dest foo.html --javascript=https://fred-wang.github.io/mathml.css/mspace.js foo.tex # Add the CSS fallback
latexmlc --dest foo.html --javascript=https://fred-wang.github.io/mathjax.js/mpadded-min.js foo.tex # Add the MathJax fallback

メモ: コマンドラインツールはサーバー側で使用することができます。例えば、 MediaWikiMathoid を介して LaTeX から MathML への変換を行います。

グラフィカルインターフェイス

この節では、グラフィカルインターフェイスを提供するいくつかの編集ツールをレビューします。

入力ボックス

単純な手法は、単純構文からのコンバーターを数学の単純な入力ボックスとして統合することです。例えば、 ThunderbirdSeaMonkey には、ポップアップウィンドウを開くための Insert > Math コマンドが指定され、 LaTeX から MathML への入力フィールドとライブ MathML プレビューが表示されます:

Thunderbird の LaTeX 入力ボックス

メモ: また、 Insert > HTML コマンドを使用して、任意の MathML コンテンツを貼り付けることもできます。

LibreOffice の数式エディター(ファイル → 新しい数式 → 数式)は使用可能な拡張を示しています。 StartMath 構文の入力ボックスには、あらかじめ定義した数学的構文を挿入するための数式パネルが追加されています。

StarMath input box in Libre Office

メモ: libreoffice の MathML コードを入手するには、ドキュメントを mml として保存し、お気に入りのエディターで開いてください。

WYSIYWG なエディター

他にも、 WYSIYWG インターフェイスに直接統合された数式編集機能を指定されたエディターがあります。以下のスクリーンショットは、 LyXTeXmacs のもので、どちらも HTML エクスポートに対応しています。

Lyx example

TeXmacs example

メモ: 既定では、 Lyx と TeXmacs は HTML 出力に数式の画像を使用します。その代わりに MathML を選択するには、前者ではこちらの指示に従ってください。後者ではユーザー設定 > 変換 > 数式を MathML としてエクスポートを選択してください。

光学文字認識・手書き文字認識

数学を入力する最後のオプションは、光学式文字認識手書き文字認識のユーザーインターフェイスによるものです。これらのツールのいくつかは数式に対応しており、 MathML としてエクスポートすることができます。以下のスクリーンショットは MyScript のデモを示しています。

MyScript