From 9e820198b2c4301014a623d0783ddf149ce1c701 Mon Sep 17 00:00:00 2001
From: Jacob Walchuk <jpw24@st-andrews.ac.uk>
Date: Mon, 14 Jul 2025 15:19:54 -0700
Subject: paper 3: realigned proofs to have logical operations flush right

---
 main.tex | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'main.tex')

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}
 
-- 
cgit v1.2.3