From 5de04b5853ff64c8ef5787ba6b288bb8eab5deb4 Mon Sep 17 00:00:00 2001 From: James Ray Date: Fri, 17 Nov 2017 15:49:32 +1100 Subject: [PATCH 1/2] Replacing \text{ and } with \and --- papers/CasperTFG/CasperTFG.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/papers/CasperTFG/CasperTFG.tex b/papers/CasperTFG/CasperTFG.tex index ab65dc7c..feb9f0a9 100644 --- a/papers/CasperTFG/CasperTFG.tex +++ b/papers/CasperTFG/CasperTFG.tex @@ -192,7 +192,7 @@ \section{Casper the Friendly Binary Consensus} \begin{defn}[Latest message] \begin{equation*} \begin{split} -m \in L(v, M) \iff & \nexists m' \in D(M) \text{ such that } V(m') = v \text{ and } m' \succ m +m \in L(v, M) \iff & \nexists m' \in D(M) \text{ such that } V(m') = v \and m' \succ m \end{split} \end{equation*} \end{defn} @@ -229,7 +229,7 @@ \section{Casper the Friendly Binary Consensus} \begin{defn}[Equivocation] \begin{align} -Eq(m_1, m_2) \iff V(m_1) = V(m_2) \text{ and } m_1 \nsucc m_2 \text{ and } m_1 \nprec m_2 +Eq(m_1, m_2) \iff V(m_1) = V(m_2) \and m_1 \nsucc m_2 \and m_1 \nprec m_2 \end{align} \end{defn} From 0e914efa219197044da11a185f6d1d545f97f18b Mon Sep 17 00:00:00 2001 From: James Ray Date: Sat, 18 Nov 2017 12:33:35 +1100 Subject: [PATCH 2/2] Changed \and to \land --- papers/CasperTFG/CasperTFG.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/papers/CasperTFG/CasperTFG.tex b/papers/CasperTFG/CasperTFG.tex index feb9f0a9..ce6e6c16 100644 --- a/papers/CasperTFG/CasperTFG.tex +++ b/papers/CasperTFG/CasperTFG.tex @@ -192,7 +192,7 @@ \section{Casper the Friendly Binary Consensus} \begin{defn}[Latest message] \begin{equation*} \begin{split} -m \in L(v, M) \iff & \nexists m' \in D(M) \text{ such that } V(m') = v \and m' \succ m +m \in L(v, M) \iff & \nexists m' \in D(M) \text{ such that } V(m') = v \land m' \succ m \end{split} \end{equation*} \end{defn} @@ -229,7 +229,7 @@ \section{Casper the Friendly Binary Consensus} \begin{defn}[Equivocation] \begin{align} -Eq(m_1, m_2) \iff V(m_1) = V(m_2) \and m_1 \nsucc m_2 \and m_1 \nprec m_2 +Eq(m_1, m_2) \iff V(m_1) = V(m_2) \land m_1 \nsucc m_2 \land m_1 \nprec m_2 \end{align} \end{defn}