Unicode

とりあえず LaTeXUnicode が使えるようにはしたぞ、ということでTODO の1つ終わり。もっと Unicode サポートちゃんとしないとなあ。

なんか各地で文句を言われているような……。今年は Gentoo 的にUnicode 元年ということで。