typo

Author: rzach

content/proof-theory/cut-elimination/interpolation.tex

@@ -194,7 +194,7 @@
     \RightLabel{$\pi_1$}
     \Deduce$\maeh{\Gamma_1}{!A, \Gamma_2} \fCenter
       \maeh{\Delta_1}{\Delta_2, !B}$
-    \RightLabel{\RightR{\lnot}}
+    \RightLabel{\RightR{\lif}}
     \UnaryInf$\maeh{\Gamma_1}{\Gamma_2} \fCenter
       \maeh{\Delta_1}{\Delta_2, !A \lif !B}$
     \DisplayProof
@@ -591,4 +591,4 @@
 $\Gamma_2$ are finite. By compactness, the results also hold for
 infinite theories.
 
-\end{document}
+\end{document}