关于 Typora 编辑的数学公式转换到思源引擎的错误

下面是我的测试内容，其中有几种情况导入思源时会发生错误:

#### 1💡

题1：用等值演算法求取求下列公式：$(P\rightarrow Q)\leftrightarrow R$的合取范式和析取范式.（==注意这里合取式并不等于主合取式==）

> 题1：用等值演算法求取求下列公式：$(P\rightarrow Q)\leftrightarrow R$的合取范式和析取范式.（==注意这里合取式并不等于主合取式==）



>  解：先求合取范式
>  $$
>  \begin{aligned}
>  &(P \rightarrow Q) \leftrightarrow R \\
>  \Leftrightarrow &(\neg P \vee Q) \leftrightarrow R \\
>  \Leftrightarrow &((\neg P \vee Q) \rightarrow R) \wedge(R \rightarrow(\neg P \vee Q)) \\
>  \Leftrightarrow &(\neg(\neg P \vee Q) \vee R) \wedge(\neg R \vee(\neg P \vee Q)) \\
>  \Leftrightarrow &((P \wedge \neg Q) \vee R) \wedge(\neg R \vee \neg P \vee Q) \\
>  \Leftrightarrow &(P \vee R) \wedge(\neg Q \vee R) \wedge(\neg R \vee \neg P \vee Q)
>  \end{aligned}
>  $$
>  111$(\neg(\neg P \vee Q) \vee R) \wedge(\neg R $222
>
>  再求析取范式$(P\rightarrow Q)\leftrightarrow R$
>
>  $$\begin{aligned}
>  &(P \rightarrow Q) \leftrightarrow R \\
>  \Leftrightarrow &((P \wedge \neg Q) \vee R) \wedge(\neg R \vee \neg P \vee Q) \\
>  \Leftrightarrow &(P \wedge \neg Q \wedge \neg P) \vee(P \wedge \neg Q \wedge Q) \vee(P \wedge \neg Q \wedge \neg R) \\
>  & \vee(R \wedge \neg P) \vee(R \wedge Q) \vee(R \wedge \neg R) \\
>  \Leftrightarrow &(P \wedge \neg Q \wedge \neg R) \vee(R \wedge \neg P) \vee(R \wedge Q)
>  \end{aligned}$$
>
>  其它：
>
>  $\begin{aligned}
>  &(P \rightarrow Q) \leftrightarrow R \\
>  \Leftrightarrow &(\neg P \vee Q) \leftrightarrow R \\
>  \Leftrightarrow &((\neg P \vee Q) \rightarrow R) \wedge(R \rightarrow(\neg P \vee Q)) \\
>  \Leftrightarrow &(\neg(\neg P \vee Q) \vee R) \wedge(\neg R \vee(\neg P \vee Q)) \\
>  \Leftrightarrow &((P \wedge \neg Q) \vee R) \wedge(\neg R \vee \neg P \vee Q) \\
>  \Leftrightarrow &(P \vee R) \wedge(\neg Q \vee R) \wedge(\neg R \vee \neg P \vee Q)
>  \end{aligned}$

再求析取范式$(P\rightarrow Q)\leftrightarrow R$

$$\begin{aligned}
&(P \rightarrow Q) \leftrightarrow R \\
\Leftrightarrow &((P \wedge \neg Q) \vee R) \wedge(\neg R \vee \neg P \vee Q) \\
\Leftrightarrow &(P \wedge \neg Q \wedge \neg P) \vee(P \wedge \neg Q \wedge Q) \vee(P \wedge \neg Q \wedge \neg R) \\
& \vee(R \wedge \neg P) \vee(R \wedge Q) \vee(R \wedge \neg R) \\
\Leftrightarrow &(P \wedge \neg Q \wedge \neg R) \vee(R \wedge \neg P) \vee(R \wedge Q)
\end{aligned}$$

其它：

$\begin{aligned}
&(P \rightarrow Q) \leftrightarrow R \\
\Leftrightarrow &(\neg P \vee Q) \leftrightarrow R \\
\Leftrightarrow &((\neg P \vee Q) \rightarrow R) \wedge(R \rightarrow(\neg P \vee Q)) \\
\Leftrightarrow &(\neg(\neg P \vee Q) \vee R) \wedge(\neg R \vee(\neg P \vee Q)) \\
\Leftrightarrow &((P \wedge \neg Q) \vee R) \wedge(\neg R \vee \neg P \vee Q) \\
\Leftrightarrow &(P \vee R) \wedge(\neg Q \vee R) \wedge(\neg R \vee \neg P \vee Q)
\end{aligned}$
​

导入思源后的错误有如下四处：

分析：

错误总共两种类型：

1️⃣3️⃣4️⃣：无法正确识别$公式$ 并进行转换

2️⃣：虽然正确识别了$$公式$$ ，但转换失败，最开始的位置少了一个"\"符号,补上此符号即可正确显示