あ、質問の意味がわかった(きがする)

＞(lambda (x) (string->symbol (symbol->string x)))
引数と戻値はeqv?で一致すると保証されてる。
＞(lambda (x) (symbol->string (string->symbol x)))
引数と戻値はeq?で一致すると保証されてる。
＞(lambda (x) x)
引数と戻値はeq?で一致すると保証されてる。

これでいいかな？
symbolはuniqueなので比較は同一だけど、
一旦stringになった場合、それが同値(コピー)なのか同一なのか
は保証されていないって事で。