From f03575637e8b02fd4421c91605c017adf7075ac1 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 14 Jun 2024 21:06:11 +0200
Subject: [PATCH] Update 1-preliminaries.tex

---
 blueprint/src/chapters/1-preliminaries.tex | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/blueprint/src/chapters/1-preliminaries.tex b/blueprint/src/chapters/1-preliminaries.tex
index f27e8d4..4b1814e 100644
--- a/blueprint/src/chapters/1-preliminaries.tex
+++ b/blueprint/src/chapters/1-preliminaries.tex
@@ -8,16 +8,15 @@ \chapter{Preliminaries}
 
 \section{Notation}
 
-% In this section, we define the notation and symbols that will be consistently used in this work.
-% Familiarity with these symbols is crucial for understanding the formal arguments and proofs presented later.
+In this section, we define the notation and symbols that will be consistently used in this work.
 
 \begin{tabular}{>{\centering}m{1.8cm} m{5.8cm}}
 \toprule
 \textbf{Symbol} & \multicolumn{1}{c}{\textbf{Description}} \\
 \midrule
-$\lnot$ & Logical negation \\
-$\land$ & Logical conjunction \\
-$\lor$ & Logical inclusive disjunction \\
+% $\lnot$ & Logical negation \\
+% $\land$ & Logical conjunction \\
+% $\lor$ & Logical inclusive disjunction \\
 $:=$   & Definition \\
 $\forall$ & Universal quantification \\
 $\exists$ & Existential quantification \\
@@ -39,7 +38,6 @@ \section{Notation}
 % \end{center}
 
 \newpage
-
 \section{Definitions}
 
 In this section, each definition is articulated as clearly as possible to maximise clarity and precision.
@@ -398,6 +396,7 @@ \section{Definitions}
     The \textit{$n$-th cyclotomic extension field} or \textit{$n$-th cyclotomic field} is a field $X(\zeta_n)$ obtained by adjoining $\zeta_n$ to $X$.
 \end{definition-pre}
 
+\newpage
 \section{Results}
 
 In this section, we state some preliminary results that are crucial for the development of our formal proofs.