本記事のunicode-mathに関する部分を加筆した上でQiitaに投稿しました。
・徹底解説！ unicode-mathパッケージでココが変わる
unicode-mathを語る
今年の「TeX & LaTeX Advent Calendar」ではunicode-mathパッケージに関する記事が公開されました。このパッケージは「fontspecの数式フォント版」に相当するもので、「数式フォントをUnicodeのものにする」とともに「簡単に好きなOpenType数式フォントを指定できるようにする」という機能を提供します。LuaLaTeXの普及とともに「unicode-mathの新しい機能についての解説」の文書も増えていくものだと思われます。
このように便利なunicode-mathパッケージですが、注意点もあります。unicode-mathにおける数式書体の扱いはUnicodeの数式書体の考えを取り入れていて、従来より多機能になっています。それだけならいいのですが、問題は、それに伴って「従来の書き方と比べると正しい書き方が変わる」点が生じているということです。具体的には\mathrmなどの「数式のフォント選択（太字・斜体など1）の命令」の体系についてunicode-mathでは大きな変更があります。
実際には「従来の書き方を続けても実害がでない」ように互換性が配慮されています。だからといって漫然と従来の書き方を続けていると、将来unicode-mathが普及したときには、もしかしたら「未だに \rm や \bf を使っている奴らと同類」の立場に追いやられるかも知れないわけです。
本記事では一般のLaTeXユーザ向けに、unicode-mathにおける「数式フォント選択の命令」について、従来の書き方から変わる点に話を絞って解説します。
従来のLaTeXの数式フォントの話
unicode-mathの話の前に、まずは従来の標準（LaTeXカーネルおよびamsfontsの範囲）における数式フォントの扱いについて復習しておきましょう。
従来の数式フォント選択命令
テキスト（非数式）と数式では「書体の違い」が意味するものが異なるため、LaTeXではテキストと数式でフォント選択命令を使い分けられています。数式用のフォント選択命令2は\mathXXという形の名前をもち、文字（数字や英字）にのみ作用するのでした。標準の範囲では次の数式フォント命令が用意されています。
\mathrm{«文字»}：立体（正確には“セリフ・中字・立体”3）\mathit{«文字»}：斜体4（“セリフ・中字・斜体”）\mathbf{«文字»}：太字立体（“セリフ・太字・立体”）\mathsf{«文字»}：サンセリフ立体（“サンセリフ・中字・立体”）\mathtt{«文字»}：等幅立体（“等幅・中字・立体”）\mathcal{«文字»}：筆記体\mathbb{«文字»}：黒板太字\mathfrak{«文字»}：ドイツ文字
数式用の書体として日本では太字の斜体もよく使われますが、標準の数式フォント命令の範囲ではこれはサポートされていないので、例えばbmパッケージの\bm命令のような「別系統の命令」を利用する必要がありました。
“数式イタリック”
LaTeXの数式フォントについて注意すべき点は「“数式イタリック” と “普通のイタリック” の区別があること」です。数式フォント命令（\mathXX）を指定しない状態で英字を書くとそれは斜体（イタリック）になるのですが、その字体はいわゆる “数式イタリック” であり、「文字が1文字だけで識別子を表す」場合にのみ用いることが想定されている（その用途で適切に見えるように字形や字間がデザインされている）のでした。複数文字からなる斜体の識別子を書くときには\mathit命令を指定して “普通のイタリック” を使う必要があります。
しかし従来のLaTeXでは “1文字” と “複数文字” で区別をつけるのは斜体だけで、その他の書体、例えば立体については “1文字” でも “複数文字” でも区別せずに\mathrmを使うことになっていました。
unicode-mathの数式フォントの話
1文字用の数式フォント命令
unicode-mathパッケージでは、先述の「“1文字” と “複数文字” の区別」をより広範の書体について行うように設計されています。次の表に示すように、従来の\mathXXという名前の数式フォント命令は “複数文字用” のものと規定されていて、新たに\symXXという名前の命令が “1文字用” の数式フォント命令として用意されます。
| フォントの種類 | 1文字用命令 | 複数文字用命令 |
|---|---|---|
| 立体（セリフ・中字・立体） | \symup | \mathrm |
| 斜体（セリフ・中字・斜体） | \symit | \mathit |
| 太字立体（セリフ・太字・立体） | \symbf | \mathbf |
| 太字斜体（セリフ・太字・斜体） | \symbfit | ― |
| サンセリフ立体（サンセリフ・中字・立体） | \symsf | \mathsf |
| 等幅立体（等幅・中字・立体） | \symtt | \mathtt |
| 筆記体 | \symscr | ―※1 |
| 黒板太字 | \symbb | ―※1 |
| ドイツ文字 | \symfrak | ―※1 |
(※1) 筆記体・黒板太字・ドイツ文字は「複数文字の識別子を書くことが想定されていない」ため複数文字用のフォント選択命令は用意されていません5。
また、従来のLaTeXではサポートされていなかった「太字の斜体」についても、\symbfitという数式フォント命令が用意されている6ので、「太字斜体だけ他の書体と扱いが異なる」という不自然な状況も解消されます。unicode-mathの既定の状態7での出力例を示します。
よく見ると、斜体（\symitや\symbfit）を指定したときも数字は立体で出力されています。これは数式で斜体の数字が用いられることは想定されていない8からです。
また、従来の\mathcalや\mathbbは英字大文字にのみ対応していたのに対して、unicode-mathの\symscrは英字小文字にも対応9していて、また\symbbは英字大文字小文字に加えて数字にも対応しています。これらの文字のために別のパッケージを読み込む必要はありません。
なお、従来のLaTeXでは数式フォント命令を指定しない場合の書体は特別な “数式イタリック” でしたが、unicode-mathでは “数式イタリック” に相当するもの（1文字用の斜体）が\symitなので、英字10については既定の書体は\symitと同等になります。つまり普通は\symitを用いる必要はありません。
ギリシャ文字の話もしてみる
従来の標準のLaTeXの範囲ではギリシャ文字の扱いは英字（ラテン文字）と色々な点で異なっていて厄介で、さらにギリシャ小文字については標準の範囲では斜体のみに限られていました。unicode-mathではギリシャ文字（大文字・小文字ともに）についても普通に数式フォント命令で書体を変えることができます。
\symup{α}・\symup{\alpha}・\symup{Ω}・\symup{\Omega}→ 立体\symit{α}・\symit{\alpha}・\symit{Ω}・\symit{\Omega}→ 斜体
ただし太字については注意が必要です。先ほどの表では「太字」の数式フォント命令は\symbfでしたが、これを使うと（従来の習慣を踏襲するため）ギリシャ小文字が「太字斜体」になってしまいます。そこで代わりに明示的に「太字の立体」を指定する命令である\symbfupを使う必要があります。まとめると、ギリシャ文字に使うべき数式フォント命令は以下のようになります（これ以外の書体はサポートされない11）。
| フォントの種類 | 1文字用命令 |
|---|---|
| 立体（セリフ・中字・立体） | \symup |
| 斜体（セリフ・中字・斜体） | \symit |
| 太字立体（セリフ・太字・立体） | \symbfup |
| 太字斜体（セリフ・太字・斜体） | \symbfit |
unicode-mathの既定の状態でのギリシャ文字の出力例を示します。
まとめ
今年も一年、ありがとうございました！
ZR「というわけで、来年も当（くだらない）ブログをよろしくお願いします！」
＊「なんか最近、このブログが放置される傾向がどんどん強まっている感じなんだけど……」
ZR「………………」
- この記事でいう「フォント」とは「Times」のような具体的な書体種別ではなく「太字」「斜体」などの抽象的な区別を指します。「斜体」にどの具体書体を充てるかといった設定の機構はこの記事では扱いません。↩
- 「数式用のフォント選択命令」を表す正式な用語は「数式英字命令（math alphabet command）」のようです。↩
-
テキストのフォントには「ファミリ」「シリーズ」「シェープ」という3つの属性に分けて管理されていて、テキストのフォント選択命令は1つの属性のみを変更する（例えば
\textbfならシリーズを「太字」に変える）仕組になっています。これに対して、数式のフォントは（少なくともテキストフォントにあるような）属性をもっていません。従って、数式のフォント選択命令は常に特定の1つの書体を指定する（例えば\mathbfなら「セリフ・太字・立体」に変える）役割をもっています。↩ - 数式では真の斜体（oblique）を用いることはないので、この記事では「斜体」を「イタリック体」と同義として扱うことにします。↩
-
一応、互換性のために
\mathcal・\mathbb・\mathfrak命令が\symscr・\symbb・\symfrakの別名として定義されていますが、これらは「名前が “\math…” なのに実態は1文字用命令である」という紛らわしい状況になっているので使用は推奨されません。↩ -
なお滅多に使われないと思いますが（一応従来のLaTeXの範囲に含まれるので補足しておくと）、「太字の筆記体」に対する
\symbfscr、「太字のドイツ文字」に対する\symbffrakという数式フォント命令も用意されています。↩ - unicode-mathの既定状態では具体書体としてOpenType版の「Latin Modern Math」が使われます。このフォントは従来のComputer Modernの数式フォントの書体を継承するものです。↩
-
もちろん「複数文字の斜体の識別子に数字が含まれる」場合にはその数字も斜体になるべきですから、“複数文字用” の
\mathitでは数字も斜体になります。↩ - ただし既定の具体書体である「Latin Modern Math」は英字小文字の筆記体の字形をもっていないようで、そのため例出の画像では既定の（斜体の）字形が代替出力されています。英字小文字の筆記体の字形をもつ数式フォントに切り替えるとちゃんとその字形が出力されます。↩
-
数字の既定の書体は
\symupと同等になります。先述の通り、数字は決して斜体にはなりません。↩ - これは嘘で、実際には「サンセリフ太字の立体・斜体」もサポートされています。不思議なことにサンセリフのギリシャ文字は太字だけがサポートされていて中字が入っていません。これはUnicodeの数式書体がそのように定められているからなのですが、そもそもUnicodeの規定がなぜこうなっているかが全くの謎です。↩
