From cf5b48eaaa584b778bec0b85e0762f94f55b2f22 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 1 Oct 2015 18:38:22 +0200
Subject: [PATCH] make formulations precise

---
 doc/paper/taler.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex
index da10145ae..e3d595ecb 100644
--- a/doc/paper/taler.tex
+++ b/doc/paper/taler.tex
@@ -1360,7 +1360,7 @@ indicate the application of a function $f$ to one or more arguments.
   \item[$b$]{RSA blinding factor for RSA-style blind signatures}
   \item[$B_b()$]{RSA blinding over the argument using blinding factor $b$}
   \item[$U_b()$]{RSA unblinding of the argument using blinding factor $b$}
-  \item[$S_K()$]{Chaum-style RSA signature, commutes with blinding operation $B_b()$}
+  \item[$S_K()$]{Chaum-style RSA signature, $S_K(C) = U_b(S_K(B_b(C)))$}
   \item[$w_s$]{Private key from customer for authentication}
   \item[$W_p$]{Public key corresponding to $w_s$}
   \item[$W$]{Public-private customer authentication key pair $W := (w_s, W_p)$}