diff --git a/工具v2/database_tools.py b/工具v2/database_tools.py index 6de58c4d..3cf13288 100644 --- a/工具v2/database_tools.py +++ b/工具v2/database_tools.py @@ -1397,6 +1397,7 @@ def RefineMathpix(raw_string): # 进一步修改mathpix得到的字符串 string = RefineCasesEnv(string) #美化cases环境 string = RefineChineseComma(string) #改顿号 string = RefineInterval(string) #改错误的dollars符号和括号的顺序 + string = string.replace("$$"," ") return string