diff --git a/papers/CasperTFG/CasperTFG.tex b/papers/CasperTFG/CasperTFG.tex
index ab65dc7c..5edc215d 100644
--- a/papers/CasperTFG/CasperTFG.tex
+++ b/papers/CasperTFG/CasperTFG.tex
@@ -170,7 +170,7 @@ \section{Casper the Friendly Binary Consensus}
 \begin{defn}[dependency, $\prec$]
 \begin{equation*}
 \begin{split}
-m_1 \prec m_2 \iff & m_1 = m_2 \text{ or } \exists m' \in J(m_2) \hspace{1mm} . \hspace{1mm} m_1 \prec m'
+m_1 \prec m_2 \iff & m_1 = m_2 \lor \exists m' \in J(m_2) \hspace{1mm} . \hspace{1mm} m_1 \prec m'
 \end{split}
 \end{equation*}
 \end{defn}
@@ -316,7 +316,7 @@ \section{Casper the Friendly Ghost}
 
 \begin{defn}[Blockchain membership, $b_1 \downarrow b_2$]
 \begin{align}
-  b_1 \downarrow b_2 &\iff b_1 = b_2 \text{ or } b_1 \downarrow E(b_2)
+  b_1 \downarrow b_2 &\iff b_1 = b_2 \lor b_1 \downarrow E(b_2)
 \end{align}
 \end{defn}