[Blogger][LaTeX] Install MathJax

MathJax in Blogger (II) を参考にMathJaxを使える様にしてみた。

$$a^2+b^2=c^2$$

どうやら使えているみたい。

[Memo] How to translate LaTeX file with po4a + OmegaT

忘れない様に作業手順メモ
Mac OS X 10.5 で po4a と OmegaT で TeX 文書を翻訳を参考に。

最初にファイルを作るのは

• そもそもTutorial.v.texはTutorial.texからmake tutorialとかで作る。CoqのMakefile参照。


• ~/usr/share/perl/po4a-0.41/po4a-gettextize -f latex -m Tutorial.v.tex -p Tutorial.v.pot


• 上記が通らない場合は po4a の LaTeX.pm, TeX.pm を無理に直したりする。po4a からは platex ではなく latex が呼ばれるのでスタイルも jsbook から book にしたり、フランス人の人名を ASCII の範囲にしたりなど最初に直す。
  

あとはOmegaTを使って翻訳。

• ~/coq/coq-8.2pl1/doc/tutorial/にあるCoq_TutorialというOmegaTプロジェクトを開いて翻訳する。一段落したら訳文ファイル生成。


• cd ~/coq/coq-8.2pl1/doc/tutorial/


• cp Coq_Tutorial/target/Tutorial.v.pot ja.pot


• ~/usr/share/perl/po4a-0.41/po4a-translate -f latex -m Tutorial.v.tex -p ja.pot -l ja.tex


• フォーマットを直す場合はbookじゃなくjsbookに直す。


• platex ja.tex ; platex ja.tex ; dvipdfmx ja.dvi