DOSEIの日記

技術メモ+日常ログ

properties ファイルの構成

例として DejaVu Sans でインテグラルを表示する方法。このフォントには、"TOP HALF INTEGRAL"(⌠: U+2320), "BOTTOM HALF INTEGRAL"(⌡: U+2321), "INTEGRAL EXTENSION"(⎫: U+23AB) がそれぞれ含まれている。これをつなぎ合わせるように指定。
mathfontDejaVuSans.properties というファイル名で次の内容にする。

mathfont = "DejaVu Sans"

#        [ T/L |  M  | B/R |  G  | size0 ... size{N-1} ]
\u222B = \u2320\u23AE\u2321\u23AE # Integral, int

んで、 about:config で、 "font.mathfont-family" というのを文字列で作って、"DejaVu Sans" と書くとできる(多分)。

ていうか、

こんなページあんジャン…。