1
2
\begin{def}路卢
\\Two路proof路systems路$D_1$路and路$D_2$路are路equivalent路for路
logic路$\mathcal{L}$路iff路$路\forall路\Gamma路\subseteq路$路卢
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
LaTeX

Compile Error

1. Check the configured compile mode in settings

2. Check the LaTeX log file:
Meta

Author: Anonymous User 337