tools tools for effective convert_formula.py usage: python convert_formula.py source_post.md target_post.md 其中参数为两个文件名: source_post.md:原始markdown博文 target_post.md:存储转换后的文件名