wangweiye
/
mathdeptv2
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Refinemathpix中将$$替换为空格

This commit is contained in:
weiye.wang 2024-02-08 23:12:25 +08:00
parent d8e12e1ff3
commit 2aec69153d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
工具v2/database_tools.py
View File

@ -1397,6 +1397,7 @@ def RefineMathpix(raw_string): # 进一步修改mathpix得到的字符串
string = RefineCasesEnv(string) #美化cases环境 string = RefineCasesEnv(string) #美化cases环境
string = RefineChineseComma(string) #改顿号 string = RefineChineseComma(string) #改顿号
string = RefineInterval(string) #改错误的dollars符号和括号的顺序 string = RefineInterval(string) #改错误的dollars符号和括号的顺序
string = string.replace("$$"," ")
return string return string