Change range.

IntersectMBO · Jun 7, 2019 · e4a0812 · e4a0812
1 parent 2caad52
commit e4a0812
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/byron/chain/formal-spec/blockchain-spec.tex b/byron/chain/formal-spec/blockchain-spec.tex
@@ -1407,7 +1407,7 @@ \subsection{Header only validation}
   for all chain extensions $E$ with corresponding headers $H$ such that:
   %
   $$
-  t_E - t  \leq 2*k
+  0 \leq t_E - t  \leq 2 \cdot k
   $$
   %
   we have:
@@ -1457,7 +1457,7 @@ \subsection{Header only validation}
   For all environments $e$, states $s$ with slot number ($\var{s_{last}}$) $t$;
   for all chain extensions $E = [b_0, \ldots, b_n]$ with headers $H$ such that:
   $$
-  t_E - t  \leq 2*k
+  0 \leq t_E - t  \leq 2 \cdot k
   $$
   we have that for all $i \in [1, n]$:
   $$