paper 3: realigned proofs to have logical operations flush right

1 files changed, 1 insertions, 5 deletions

diff --git a/main.tex b/main.tex
index cea4e7b..f323ee6 100644
--- a/main.tex
+++ b/main.tex
@@ -173,11 +173,7 @@ for tree={s sep=4mm}
 
 \mainmatter
 \include{papers/1}
-  \begingroup
-  \let\mathit\mathrm
-  \let\mathnormal\mathrm
-\include{papers/2}
-\endgroup
+%\include{papers/2}
 \include{papers/3}
 \include{papers/4}