+% 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.
+%