[4] [[MathML]] の [DFN[[CODE(XMLe)@en[math]] [[要素]]]]は、1つの[[数式]]を表します。

* 仕様書

[REFS[
- [3] '''[CITE[MathML Fundamentals]] ([TIME[2010-10-21 05:51:46 +09:00]] 版) <http://www.w3.org/TR/2010/REC-MathML3-20101021/chapter2.html#interf.toplevel>'''
- [20] [CITE@en-GB-x-hixie[HTML Standard]] ([TIME[2016-05-25 20:37:04 +09:00]]) <https://html.spec.whatwg.org/#mathml>
]REFS]

* 意味

[21] [CODE(XMLe)@en[math]] [[要素]]は、次の通り分類されています [SRC[>>20]]。
[FIG(short list)[
- [[埋め込み内容]]
- [[語句内容]]
- [[フロー内容]]
- [[触知可能内容]]
]FIG]

* 属性

[10] 
- [CODE(XMLa)@en[[[altimg]]]]
- [CODE(XMLa)@en[[[altimg]]]]
- [CODE(XMLa)@en[[[altimg-height]]]]
- [CODE(XMLa)@en[[[altimg-width]]]]
- [CODE(XMLa)@en[[[altimg-valign]]]]
- [CODE(XMLa)@en[[[alttext]]]]
- [CODE(XMLa)@en[[[cdgroup]]]]
- [CODE(XMLa)@en[[[class]]]]
- [CODE(XMLa)@en[[[decimalpoint]]]]
- [CODE(XMLa)@en[[[dir]]]]
- [CODE(XMLa)@en[[[display]]]]
- [CODE(XMLa)@en[[[displaystyle]]]]
- [CODE(XMLa)@en[[[href]]]]
- [CODE(XMLa)@en[[[id]]]]
- [CODE(XMLa)@en[[[infixlinebreakstyle]]]]
- [CODE(XMLa)@en[[[macros]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[mathbackground]]]]
- [CODE(XMLa)@en[[[maxwidth]]]]
- [CODE(XMLa)@en[[[mediummathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[mode]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[other]]]] ([[非推奨]])
- [CODE(XLMa)@en[[[overflow]]]]
- [CODE(XMLa)@en[[[scriptlevel]]]]
- [CODE(XMLa)@en[[[scriptminsize]]]]
- [CODE(XMLa)@en[[[scriptsizemultiplier]]]]
- [CODE(XMLa)@en[[[style]]]]
- [CODE(XMLa)@en[[[thickmathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[thinmathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[verythickmathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[verythinmathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[veryverythickmathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[veryverythinmathspace]]]] ([[非推奨]])
- [CODE(XMLa)@en[[[xref]]]]

* 内容

[6] [CODE(XMLe)@en[[[math]]]] [[要素]]は任意の個数の[[子要素]]を持つことができます。[SRC[>>3]]

[8] 
逆に、すべての [[MathML]] [[内容]]は [CODE(XMLe)@en[[[math]]]] [[要素]]に含まれていなければ[RUBYB[なりません]@en[must]]。
[SRC[>>3]]

[7] [CODE(XMLe)@en[[[math]]]] [[要素]]は他の [CODE(XMLe)@en[[[math]]]] [[要素]]を[[子孫]]に含んでいては[RUBYB[なりません]@en[must not]]。
そのような場合は[[誤り]]です。 [SRC[>>3]]

* 文脈

[5] [CODE(XMLe)@en[[[math]]]] [[要素]]は、[[根要素]]として [SRC[>>3]]、
あるいは[[複合文書]]中の適当な位置で使われます。

[22] [CODE(XMLe)@en[math]] [[要素]]は、[[フロー内容]]または[[語句内容]]が認められる場所でも使うことができます。

;; つまり多くの [[HTML要素]]の[[内容]]で使えます。

[2] [[MathML]] の [CODE(XMLe)@en[[[math]]]] [[要素]]は、
[[CellML]] [[文書]]内の適当な場所でも使うことができます。

* 処理

[23] [[対話的HTML利用者エージェント]]は、[[MathML]] [[素片]]を[[名前空間整形式]]
[[XML]] [[素片]]として出力する手段を提供する[RUBYB[べき]@en[encourage]]です [SRC[>>20]]。

* レンダリング

[9] [CODE(XMLe)@en[[[math]]]] [[要素]]の[[子要素]]は、 [CODE(XMLe)@en[[[mrow]]]]
[[要素]]の[[子要素]]である場合と同様に[[レンダリング]]されるのが既定値です。 [SRC[>>3]]

[11] [CODE(XMLe)@en[[[math]]]] [[要素]]がまわりの[[要素]]に対してどう配置されるかは、
[CODE(XMLa)@en[[[display]]]] [[属性]]の[[レンダリング]]の項をご覧ください。
周囲に対して大きすぎて収まらない時の処理は [CODE(XMLa)@en[[[overflow]]]]
[[属性]]の[[レンダリング]]の項をご覧ください。

[12] [CODE(XMLe)@en[[[math]]]] [[要素]]は、[[利用者エージェント]]が[[数式]]そのものとして[[レンダリング]]できないとき、代わりに
[CODE(XMLa)@en[[[altimg]]]] [[属性]]で指定された[[画像]]として、あるいは
[CODE(XMLa)@en[[[alttext]]]] [[属性]]で指定された[[文字列]]として[[レンダリング]]されることがあります。

* 歴史

** HTML における [CODE(HTMLe)@en[math]] 要素


[FIG(data)[ [24] [[HTML要素概説]]

:[F[要素名]]:[CODE[math]]
:[F[要素名]]:[CODE[box]]
:[F[要素名]]:[CODE[over]]
:[F[要素名]]:[CODE[sub]]
:[F[要素名]]:[CODE[sup]]
:[F[要素名]]:[CODE[array]]
:[F[要素名]]:[CODE[item]]
:[F[要素名]]:[CODE[rd]]
:日付:[TIME[1993-10-28]]
:説明:
[TIME[1993-10-28]]版 [CITE[HTML+]] の本文と [[DTD]] に、
[CODE[math]],
[CODE[box]],
[CODE[over]]
がある。
本文に
[CODE[array]],
[CODE[item]]
がある。
例文に
[CODE[rd]]
がある。
本文で 
[CODE[sub]],
[CODE[sup]]
が [CODE[math]] 内でも使えるとされている。
[SRC[HTML+19931028]]

]FIG]


[FIG(data)[ [216] [[HTML要素概説]]

:[F[要素名]]:[CODE[math]]
:[F[要素名]]:[CODE[over]]
:[F[要素名]]:[CODE[box]]
:[F[要素名]]:[CODE[root]]
:[F[要素名]]:[CODE[array]]
:[F[要素名]]:[CODE[item]]
:日付:[TIME[1994-01-05]]
:説明:
[TIME[1994-01-05]]版 [CITE[HTML+]] [[DTD]]
に、
[CODE[math]],
[CODE[over]],
[CODE[box]],
[CODE[root]],
[CODE[array]],
[CODE[item]]
がある。
[SRC[HTML+19940105]]

]FIG]

[FIG(data)[ [33] [[HTML要素概説]]

:[F[要素名]]:[CODE[math]]
:[F[要素名]]:[CODE[box]]
:[F[要素名]]:[CODE[above]]
:[F[要素名]]:[CODE[below]]
:[F[要素名]]:[CODE[root]]
:[F[要素名]]:[CODE[radix]]
:[F[要素名]]:[CODE[radicand]]
:[F[要素名]]:[CODE[array]]
:[F[要素名]]:[CODE[arow]]
:日付:[TIME[1994-11-30]]
:説明:
[TIME[1994-11-30]]版 [CITE[HTML 3.0]] [[DTD]]
にある。
[SRC[HTML3-19941130]]

]FIG]

[FIG(data)[ [25] [[HTML要素概説]]

:[F[要素名]]:[CODE[math]]
:[F[要素名]]:[CODE[box]]
:[F[要素名]]:[CODE[above]]
:[F[要素名]]:[CODE[below]]
:[F[要素名]]:[CODE[root]]
:[F[要素名]]:[CODE[radix]]
:[F[要素名]]:[CODE[radicand]]
:[F[要素名]]:[CODE[array]]
:[F[要素名]]:[CODE[arow]]
:[F[要素名]]:[CODE[term]]
:日付:[TIME[1995-03-01]]
:説明:
[TIME[1995-03-01]]版 [CITE[HTML 3.0]] [[DTD]]
にある。
[SRC[HTML3-19950301]]

]FIG]

[FIG(data)[ [34] [[HTML要素概説]]

:[F[要素名]]:[CODE[over]]
:[F[要素名]]:[CODE[atop]]
:[F[要素名]]:[CODE[left]]
:[F[要素名]]:[CODE[right]]
:日付:[TIME[1994-11-30]]
:説明:
[TIME[1994-11-30]]版 [CITE[HTML 3.0]] [[DTD]]
にある。
[SRC[HTML3-19941130]]

]FIG]

[FIG(data)[ [30] [[HTML要素概説]]

:[F[要素名]]:[CODE[over]]
:[F[要素名]]:[CODE[atop]]
:[F[要素名]]:[CODE[left]]
:[F[要素名]]:[CODE[right]]
:日付:[TIME[1995-03-01]]
:説明:
[TIME[1995-03-01]]版 [CITE[HTML 3.0]] [[DTD]]
にある。
[SRC[HTML3-19950301]]

]FIG]


[FIG(data)[ [26] [[HTML要素概説]]

:[F[要素名]]:[CODE[term]]
:[F[要素名]]:[CODE[radix]]
:[F[要素名]]:[CODE[radicand]]
:日付:[TIME[1995-02-09]]
:説明:
[TIME[1995-02-09]]、 [CITE[HTML 3.0]] [[DTD]] に
[CODE[term]]
が追加された。
明記されていないが
[CODE[radix]], [CODE[radicand]]
も追加されたと思われる。
[SRC[HTML3-19950301]]

]FIG]


[FIG(data)[ [64] [[HTML要素概説]]

:[F[要素名]]:[CODE[term]]
:[F[要素名]]:[CODE[vec]]
:[F[要素名]]:[CODE[bar]]
:[F[要素名]]:[CODE[dot]]
:[F[要素名]]:[CODE[ddot]]
:[F[要素名]]:[CODE[hat]]
:[F[要素名]]:[CODE[tilde]]
:[F[要素名]]:[CODE[t]]
:[F[要素名]]:[CODE[bt]]
:[F[要素名]]:[CODE[b]]
:日付:[TIME[1995-03-05]]
:説明:
[TIME[1995-03-05]]、
[CITE[HTML 3.0]] [[DTD]]
で
[CODE[term]]
が廃止され、
[CODE[vec]], [CODE[bar]], [CODE[dot]], [CODE[ddot]], [CODE[hat]], [CODE[tilde]],
[CODE[t]], [CODE[bt]] が追加された。
[CODE[b]] も使えるとされている。
[SRC[HTML3-19950324]]

]FIG]

[FIG(data)[ [29] [[HTML要素概説]]

:[F[要素名]]:[CODE[choose]]
:日付:[TIME[1995-03-13]]
:説明:
[TIME[1995-03-13]]、
[CITE[HTML 3.0]] [[DTD]] に
[CODE[choose]] 
が追加された。
[SRC[HTML3-19950324]]

]FIG]


[FIG(data)[ [27] [[HTML要素概説]]

:[F[要素名]]:[CODE[radix]]
:[F[要素名]]:[CODE[radicand]]
:[F[要素名]]:[CODE[of]]
:[F[要素名]]:[CODE[sqrt]]
:日付:[TIME[1995-03-24]]
:説明:
[TIME[1995-03-06]]、
[CITE[HTML 3.0]] [[DTD]]
から
[CODE[radix]],
[CODE[radicand]]
が削除され、
[CODE[of]],
[CODE[sqrt]] 
が追加された。
[SRC[HTML3-19950324]]

]FIG]

[FIG(data)[ [28] [[HTML要素概説]]

:[F[要素名]]:[CODE[arow]]
:[F[要素名]]:[CODE[row]]
:日付:[TIME[1995-03-13]]
:説明:
[TIME[1995-03-13]]、
[CITE[HTML 3.0]] [[DTD]]
の
[CODE[arow]]
が
[CODE[row]]
に変更されたとみられる。
[SRC[HTML3-19950324]]

]FIG]










[FIG(data)[ [32] [[HTML要素概説]]

:[F[要素名]]:[CODE[math]]
:[F[要素名]]:[CODE[box]]
:[F[要素名]]:[CODE[above]]
:[F[要素名]]:[CODE[below]]
:[F[要素名]]:[CODE[root]]
:[F[要素名]]:[CODE[sqrt]]
:[F[要素名]]:[CODE[array]]
:[F[要素名]]:[CODE[over]]
:[F[要素名]]:[CODE[atop]]
:[F[要素名]]:[CODE[left]]
:[F[要素名]]:[CODE[choose]]
:[F[要素名]]:[CODE[right]]
:[F[要素名]]:[CODE[of]]
:[F[要素名]]:[CODE[vec]]
:[F[要素名]]:[CODE[bar]]
:[F[要素名]]:[CODE[dot]]
:[F[要素名]]:[CODE[ddot]]
:[F[要素名]]:[CODE[hat]]
:[F[要素名]]:[CODE[tilde]]
:[F[要素名]]:[CODE[t]]
:[F[要素名]]:[CODE[bt]]
:[F[要素名]]:[CODE[b]]
:日付:[TIME[1995-12-31]]
:説明:
[[Emacs/W3]]
は、
少なくても[[構文解析]]において
[CODE[math]]
と数式用各要素を実装していた。

]FIG]

[31] [CITE@en[w3/w3-parse.el at master · emacsmirror/w3 · GitHub]], [TIME[2024-08-16T13:28:05.000Z]] <https://github.com/emacsmirror/w3/blob/master/w3-parse.el#L1186>


[1]
[CITE@DE[Dr. rer. nat. Claus-Peter R&#252;ckemann]] ([[Dr. rer. nat. Claus-Peter R&#252;ckemann]] 著, [TIME[2007-10-31 19:03:22 +09:00]] 版) <http://www.unics.uni-hannover.de/cpr/x/rueckemann/de/rueckemann.html>

>
[PRE(HTML example code)[
(PC<MATH CLASS=INLINE><SUP>2</SUP></MATH>)
]PRE]


[13] [CITE[Bug 55049 – AX: WebKit should expose MathML at least as well as it exposes ARIA role="math"]]
( ([TIME[2014-08-12 07:18:10 +09:00]] 版))
<https://bugs.webkit.org/show_bug.cgi?id=55049>

[14] [CITE@en[The design for role=math isn't understandable from WAI ARIA 1.0  spec text]]
( ([[Henri Sivonen]] 著, [TIME[2011-02-03 22:07:00 +09:00]] 版))
<http://lists.w3.org/Archives/Public/public-pfwg-comments/2011JanMar/0005.html>

[15] [CITE@en[ARIA discussion of Math -- 31 Mar 2008]]
( ([TIME[2008-03-31 21:54:53 +09:00]] 版))
<http://www.w3.org/2008/03/31-aria-math-minutes.html>

[16] [CITE@en[proposed ARIA role for math ''''''[''''''DRAFT 1'''''']'''''']]
( ([[Gregory J. Rosmaita]] 著, [TIME[2008-02-27 10:46:11 +09:00]] 版))
<http://lists.w3.org/Archives/Public/public-pfwg-comments/2008JanMar/0016.html>

[17] [CITE[OASIS Open Document Format for Office Applications (OpenDocument) Version 1.2 - Part 1: OpenDocument Schema]]
([TIME[2011-09-29 13:00:00 +09:00]] 版)
<http://docs.oasis-open.org/office/v1.2/os/OpenDocument-v1.2-os-part1.html#a14_5_math_math_>

[18] [CITE@en[Add math+svg elements to index, update spec info · whatwg/html@054ae1b]]
([TIME[2015-09-14 14:16:55 +09:00]] 版)
<https://github.com/whatwg/html/commit/054ae1b5e194bfedb48dffbd207052abcb698d8c>

[19] [CITE@en[Only allow requestFullscreen() for certain elements · whatwg/fullscreen@3e82afc]]
([TIME[2016-03-26 12:01:23 +09:00]] 版)
<https://github.com/whatwg/fullscreen/commit/3e82afc58995660a8b022bf0d5a0c6aaa7d76323>