From b746fa22bb5c2b7b740179714005dd39ce1c1e21 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Tue, 25 Sep 2018 10:56:34 +0200
Subject: colons

---
 taler-fc19/paper.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index d17f8f2..fe6f595 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -879,8 +879,8 @@ Using these primitives, we now instantiate the syntax:
   \item $\algo{Spend}(\V{transactionId}, f, \V{coin}, \V{pkMerchant})$:
 
     The deposit permission is computed as $\V{depositPermission} = (\V{pkCoin},
-    \sigma_D, m)$ where $m = (\V{transactionId}, f, \V{pkMerchant})$ and $\sigma_D
-    = \algo{Sign}_{CSK}(skCoin, m)$.
+    \sigma_D, m)$ where $m := (\V{transactionId}, f, \V{pkMerchant})$ and $\sigma_D
+    := \algo{Sign}_{CSK}(skCoin, m)$.
 
   \item $\algo{Deposit}(\prt{E}(\V{sksE}, \V{pkMerchant}), \prt{M}(\V{skMerchant}, \V{pksE}, \V{depositPermission}))$:
 
-- 
cgit v1.2.3