From c100ea338a908b4e7b4084507f78caad971f72a0 Mon Sep 17 00:00:00 2001
From: James Ray <16969914+jamesray1@users.noreply.github.com>
Date: Thu, 8 Feb 2018 12:57:49 +1100
Subject: [PATCH 1/3] Fix spacing of table of maths symbols

---
 Paper.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Paper.tex b/Paper.tex
index 63f02da4..2d426e56 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -2510,13 +2510,11 @@ \subsection{Deletion of an Account Despite Out-of-gas}
 
 At block 2675119, in the transaction \seqsplit{0xcf416c536ec1a19ed1fb89e4ec7ffb3cf73aa413b3aa9b77d60e4fd81a4296ba}, an account at address 0x03 was called and an out-of-gas occurred during the call. Against the equation (\ref{eq:pre}), this added 0x03 in the set of touched addresses, and this transaction turned $\boldsymbol{\sigma}[0x03]$ into $\varnothing$.
 
-\section{List of mathematical symbols}\label{app:symbols}
-\begin{tabu*}{X[l]X[c]X} \savetabu{col3}
+\begin{tabu*} spread 0pt{X[l] X[c] X} \savetabu{col3}
 \toprule
 Symbol & Latex Command & Description \hypertarget{bigvee}{}\\
 \midrule
 $\bigvee$ & \verb|\bigvee| & This is the least upper bound, supremum, or join of all elements operated on. Thus it is the greatest element of such elements (\cite{Davey2002_zbMATH01748069}).\\
 \bottomrule
 \end{tabu*}
-
 \end{document}

From f42a178a656ee7ca6539f15c5054bd49301125e2 Mon Sep 17 00:00:00 2001
From: James Ray <16969914+jamesray1@users.noreply.github.com>
Date: Tue, 13 Feb 2018 01:50:21 +0000
Subject: [PATCH 2/3] Add a space

---
 Paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index 2d426e56..f4a3bab1 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -2510,7 +2510,7 @@ \subsection{Deletion of an Account Despite Out-of-gas}
 
 At block 2675119, in the transaction \seqsplit{0xcf416c536ec1a19ed1fb89e4ec7ffb3cf73aa413b3aa9b77d60e4fd81a4296ba}, an account at address 0x03 was called and an out-of-gas occurred during the call. Against the equation (\ref{eq:pre}), this added 0x03 in the set of touched addresses, and this transaction turned $\boldsymbol{\sigma}[0x03]$ into $\varnothing$.
 
-\begin{tabu*} spread 0pt{X[l] X[c] X} \savetabu{col3}
+\begin{tabu*} spread 0pt {X[l] X[c] X} \savetabu{col3}
 \toprule
 Symbol & Latex Command & Description \hypertarget{bigvee}{}\\
 \midrule

From 06c67bdd5b0ba56e6a99d2ffdee53e4c17e5da16 Mon Sep 17 00:00:00 2001
From: James Ray <16969914+jamesray1@users.noreply.github.com>
Date: Tue, 13 Feb 2018 01:54:20 +0000
Subject: [PATCH 3/3] Re-add removed line

---
 Paper.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Paper.tex b/Paper.tex
index f4a3bab1..4b480334 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -2510,6 +2510,7 @@ \subsection{Deletion of an Account Despite Out-of-gas}
 
 At block 2675119, in the transaction \seqsplit{0xcf416c536ec1a19ed1fb89e4ec7ffb3cf73aa413b3aa9b77d60e4fd81a4296ba}, an account at address 0x03 was called and an out-of-gas occurred during the call. Against the equation (\ref{eq:pre}), this added 0x03 in the set of touched addresses, and this transaction turned $\boldsymbol{\sigma}[0x03]$ into $\varnothing$.
 
+\section{List of mathematical symbols} \label{app:symbols}
 \begin{tabu*} spread 0pt {X[l] X[c] X} \savetabu{col3}
 \toprule
 Symbol & Latex Command & Description \hypertarget{bigvee}{}\\