From 34c694a8da0e3ff7e9c600789f3852d3b0457478 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 20 Oct 2006 22:48:48 +0100
Subject: [PATCH 1/1] crypto: Allow changing the symbol for randomness, e.g.,
 to `$'.

---
 crypto.dtx | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/crypto.dtx b/crypto.dtx
index 3f75c99..f9315bb 100644
--- a/crypto.dtx
+++ b/crypto.dtx
@@ -45,7 +45,7 @@
 %<+package>                [2001/09/16 1.0 Crypto typesetting]
 % \end{meta-comment}
 %
-% \CheckSum{245}
+% \CheckSum{249}
 %% \CharacterTable
 %%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
 %%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
@@ -149,6 +149,12 @@
 % using the |\inr| command, which just typesets an $\in$ sign with a
 % subscript `R': `$\inr$'.
 %
+% Should one wish, one can use a different character than `R' to denote
+% randomness.  Some authors use `\$', for example.  I know of one
+% (cheapskate?) author who has used `\rlap/c'.  Redefining the |\random|
+% command lets you do this.  For example, you can say
+% |\newcommand{\random}{\$}| should you so wish.
+%
 % \DescribeMacro\id
 % Long identifiers can be typeset using the |\id| command. giving the
 % identifier name as an argument.  The |\id| command is only valid in maths
@@ -224,7 +230,7 @@
 \RequirePackage{amstext}
 \RequirePackage{xspace}
 %    \end{macrocode}
-
+%
 % \subsection{Algorithm typsetting}
 %
 % \begin{macro}{\cookie}
@@ -251,8 +257,9 @@
 % nicer.
 %
 %    \begin{macrocode}
-\def\inr{\mathrel{\in_R}}
-\def\getsr{\mathrel{\mathop{\gets}\limits^{\scriptscriptstyle R}}}
+\providecommand\random{R}
+\def\inr{\mathrel{\in_{\random}}}
+\def\getsr{\mathrel{\mathop{\gets}\limits^{\scriptscriptstyle\random}}}
 %    \end{macrocode}
 %
 % \end{macro}
-- 
2.11.0