■
はてなでinsタグを書くと自動でdatetime属性をつけてくれる。知らんかった。書き変えた日付が分かって便利。insタグの下線はCSSを編集してtext-decorationをnoneに設定すればよい。
mimeTeXがコマンドラインで使える。知らんかった。(いや、それはマニュアルを読んでいないだけでしょう。)mimetex -e export_file "expression"|-f input_file
いまのはしばらく前のバージョンに比べて大き目のフォントで出しているのかな。mimeTeXのサイトのデモ用 form の出力が(\Large指定を削っても)その下の本文にはまっている式の画像より大きめで、きれい。