Improve local layouts

Paper.tex

@@ -234,15 +234,15 @@ \subsection{World State} \label{ch:state}
 An account state is empty when it has no code, zero nonce and zero balance:
 \begin{equation}
 \mathtt{\tiny EMPTY}(\boldsymbol{\sigma}, a)
-\equiv \boldsymbol{\sigma}[a]_c = \texttt{\small KEC}\big(()\big)
+\quad\equiv\quad \boldsymbol{\sigma}[a]_c = \texttt{\small KEC}\big(()\big)
 \wedge \boldsymbol{\sigma}[a]_n = 0
 \wedge \boldsymbol{\sigma}[a]_b = 0
 \end{equation}
 
 An account is dead when its account state is non-existent or empty:
 \begin{equation}
 \mathtt{\tiny DEAD}(\boldsymbol{\sigma}, a)
-\equiv \boldsymbol{\sigma}[a] = \varnothing \vee \mathtt{\tiny EMPTY}(\boldsymbol{\sigma}, a)
+\quad\equiv\quad \boldsymbol{\sigma}[a] = \varnothing \vee \mathtt{\tiny EMPTY}(\boldsymbol{\sigma}, a)
 \end{equation}
 
 Here is a function that updates the balance of an account state but deletes the account state when it becomes empty:
@@ -801,6 +801,7 @@ \section{Message Call} \label{ch:call}
 \boldsymbol{\sigma} & \text{if} \quad \boldsymbol{\sigma}^{**} = \varnothing \\
 \boldsymbol{\sigma}^{**} & \text{otherwise}
 \end{cases} \\
+\\ \nonumber
 (\boldsymbol{\sigma}^{**}, g', \mathbf{s}, \mathbf{o}) & \equiv & \begin{cases}
 \Xi_{\mathtt{ECREC}}(\boldsymbol{\sigma}_1, g, I, T) & \text{if} \quad r = 1 \\
 \Xi_{\mathtt{SHA256}}(\boldsymbol{\sigma}_1, g, I, T) & \text{if} \quad r = 2 \\
@@ -815,6 +816,7 @@ \section{Message Call} \label{ch:call}
 I_v & \equiv & \tilde{v} \\
 I_e & \equiv & e \\
 T   & \equiv & \{s, r\} \\
+\\ \nonumber
 \text{Let} \; \mathtt{\tiny KEC}(I_\mathbf{b}) & = & \boldsymbol{\sigma}[c]_c
 \end{eqnarray}