黒板太字

黒板太字（こくばんふとじ、; 黒板ボールド、ブラックボードボールド）あるいは中抜き文字は、しばしば数学の書籍におけるある種の記号に対して用いられる、記号の一部の線（主に垂直線あるいはそれに近い線）を二重打ちにする書体のスタイルである。この記号は数の成す集合によく用いられる。黒板太字体の文字は、重ね打ち体 ("double struck") として言及されることもある（実際にはタイプライターで重ね打ちをしてもこの字体になるわけではない）。
概説.
シカゴマニュアル (CMoS)は1993年の第14版では "[b]lackboard bold should be confined to the classroom（黒板太字は教室内に限るべきである）" (13.14) と忠告しているが、2003年の第15版では、"[o]pen-faced (blackboard) symbols are reserved for familiar systems of numbers（よく知られた数の体系のために黒板太字の記号が用意されている）" (14.12) と記述している。
書籍によってはこれらの文字を単なるボールド体で示しているものもある。もとを正せば黒板太字体は、黒板に太字を書く際に太くない文字との違いをはっきりさせるための方法として用いられたのだが、そこから離れて印刷でも普通の太字と異なる一つのスタイルとして用いられたのは、恐らく複素解析の教科書の が最初である。したがって、数学者の中には黒板太字と通常の太字を区別しない者もいる。例えばセールは、黒板以外で「黒板太字」を用いることに対して公に強く非難していて、自身は黒板で太字を書くときに重ね打ち字体を用いるけれども、それと同じ記号に対して自身の出版物においては一貫して通常の太字を用いている。クヌースも出版物における黒板太字の使用について苦言を呈している。
黒板太字記法はブルバキが導入したものだという誤った主張がされることがあるが、それに反して秘密結社ブルバキの個々のメンバーは黒板において重ね打ち書体が普及してからも、彼らの著書において通常の太字体を用いている。
黒板太字で書かれる記号は、普通の文字で組版されたものが多くの異なる意味を以って用いられるのと異なり、それらの持つ意味の解釈はほぼ普遍的なものである。
数学書で標準的な組版システムであるは黒板太字体を直接サポートしているわけではないが、アメリカ数学会 (AMS) によるアドオンの AMS フォントパッケージ (codice_1) がそれを担っており、例えばRの黒板太字体である formula_1 は codice_2 と入力すればレンダリングされる。
ユニコードでは、比較的よく用いられるごく僅かの黒板太字体の文字 ( formula_2 ) が基本多言語面 (BMP) の文字様記号 (2100–214F) に、DOUBLE-STRUCK CAPITAL C などとして収録されている。しかし残りは BMP の外の codice_3 から codice_4 まで（BMP 収録分以外のアルファベット大文字）と、codice_5 から codice_6 まで（アルファベット小文字）および codice_7 から codice_8 まで（数字）に収録されている。BMP の外にあるということは、これらは比較的新しく、広くサポートされているわけではないということである。
表示例.
以下の表は利用可能な黒板太字体の文字を総列挙したものである。
第一の列にはこれらの文字を遍在するLaTeXマークアップ言語での典型的なレンダリングを示したものである（重ね打ちや追加的に定義された文字は専用のパッケージなどが必要）。第二の列はユニコードのコードポイント。第三の列は文字のグリフ自体をユニコードで表示したもの（ブラウザが対応していてかつ適当なフォントにアクセスできるならば、その場合に限り適正に表示されるはずである）。最後の列は、数学書での典型的な（しかし、これが普遍的なわけではない）使われ方を記してある。
ギリシャ文字 μ の黒板太字は（ユニコードにはないが）数論学者や代数幾何学者が1 の 乗根全体の成す群（もっと言えば群スキーム）を表すのに（下付きの を付けて）用いることがある。