%
% (c) 2001 Mark Wooding
%
-%----- Revision history -----------------------------------------------------
-%
-% $Log: crypto.dtx,v $
-% Revision 1.2 2003/09/05 16:13:14 mdw
-% Various minor fettlings. Fix paragraph formatting after programs. More
-% Things.
-%
-% Revision 1.1 2002/02/03 20:49:03 mdw
-% Checkin for new build system.
-%
-%
% \end{meta-comment}
%
% \begin{meta-comment} <general public licence>
%<+package> [2001/09/16 1.0 Crypto typesetting]
% \end{meta-comment}
%
-% \CheckSum{245}
+% \CheckSum{258}
%% \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
% 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
\RequirePackage{amstext}
\RequirePackage{xspace}
% \end{macrocode}
-
+%
% \subsection{Algorithm typsetting}
%
% \begin{macro}{\cookie}
% 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}
\def\PARSE{\kw{parse}}
\def\AS{\kw{as}}
\def\NEW{\ifmmode\mathop{\kw{new}}\else\kw{new}\fi}
+\def\SEND{\kw{send}}
+\def\OUTPUT{\kw{output}}
+\def\STOP{\kw{stop}}
% \end{macrocode}
%
% \begin{environment}{program}