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)