Revert "Mathjax をカスタマイズせず，mdbook 内蔵の mathjax を使用する" · lean-ja/math-in-type-theory-ja@a3342ed