はてなでinsタグを書くと自動でdatetime属性をつけてくれる。知らんかった。書き変えた日付が分かって便利。insタグの下線はCSSを編集してtext-decorationをnoneに設定すればよい。 mimeTeXがコマンドラインで使える。知らんかった。(いや、それはマニュアル…