gensym

x i gensym xi
string x; integer i; string xi
It generate a string x indexed with the number i.
Example:  (Dx) 12 gensym (Dx12)