*[[dvisvgm:http://dvisvgm.sourceforge.net/]] [#hefd7ca2] dvisvgm は DVI ファイルを SVG ファイルに変換するソフトウェアです.~ -[[dvisvgm:http://dvisvgm.sourceforge.net/]]