From 1265f37d7b30e9398a6f2eb3be4cd4ab4ddcde37 Mon Sep 17 00:00:00 2001
From: James Ray <james.ray0001@gmail.com>
Date: Thu, 19 Oct 2017 13:43:12 +1100
Subject: [PATCH 1/3] zbMATH01748069 biblio

---
 Biblio.bib | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/Biblio.bib b/Biblio.bib
index f3c0ee9c..b1591960 100644
--- a/Biblio.bib
+++ b/Biblio.bib
@@ -1,3 +1,16 @@
+@Book{zbMATH01748069,
+    Author = {B.A. {Davey} and H.A. {Priestley}},
+    Title = {{Introduction to lattices and order. 2nd ed.}},
+    Edition = {2nd ed.},
+    ISBN = {0-521-78451-4/pbk},
+    Pages = {xii + 298},
+    Year = {2002},
+    Publisher = {Cambridge: Cambridge University Press},
+    Language = {English},
+    MSC2010 = {06-01},
+    Zbl = {1002.06001}
+}
+
 @Misc{cryptoeprint:2013:881,
 	Note = {{http://eprint.iacr.org/}},
 	Url = {{Cryptology ePrint Archive, Report 2013/881}},
@@ -141,4 +154,4 @@ @article{FowlerNollVo1991FNVHash
 	author = {Glenn Fowler, Landon Curt Noll, Phong Vo},
 	title = {{Fowler–Noll–Vo hash function}},
 	year = {{1991}},
-}
\ No newline at end of file
+}

From bc9198f4f32e8e212b9dcec499f0778e06bb59fe Mon Sep 17 00:00:00 2001
From: James Ray <james.ray0001@gmail.com>
Date: Thu, 19 Oct 2017 13:44:29 +1100
Subject: [PATCH 2/3] Appendix list of symbols: only bigvee, plus
 zbMATH01748069 ref

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

diff --git a/Paper.tex b/Paper.tex
index 1a6bbaa4..bd19dfd3 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -2211,4 +2211,14 @@ \subsection{Proof-of-work function}
 \end{cases}
 \end{equation}
 
+\section{List of mathematical symbols}\label{app:symbols}
+\begin{tabularx}{\textwidth}{lcX}
+\toprule
+Symbol & Latex Command & Description \\
+\midrule
+\hypertarget{bigvee}{
+$\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{zbMATH01748069}).}\\
+\bottomrule
+\end{tabularx}
+
 \end{document}

From 7c285044a26efac2449429c97f152398ce1b609b Mon Sep 17 00:00:00 2001
From: James Ray <james.ray0001@gmail.com>
Date: Thu, 19 Oct 2017 14:10:55 +1100
Subject: [PATCH 3/3] \usepackage{tabularx}

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

diff --git a/Paper.tex b/Paper.tex
index bd19dfd3..587d76eb 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -20,6 +20,7 @@
 \usepackage[usenames,dvipsnames]{xcolor}
 \usepackage{afterpage}
 \usepackage{tikz}
+\usepackage{tabularx}
 
 \input{Version.tex}