From 2aec69153d05abdd474a6de5811655e5a331f669 Mon Sep 17 00:00:00 2001 From: "weiye.wang" Date: Thu, 8 Feb 2024 23:12:25 +0800 Subject: [PATCH] =?UTF-8?q?Refinemathpix=E4=B8=AD=E5=B0=86$$=E6=9B=BF?= =?UTF-8?q?=E6=8D=A2=E4=B8=BA=E7=A9=BA=E6=A0=BC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 工具v2/database_tools.py | 1 + 1 file changed, 1 insertion(+) 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