(format t "...") で、" を出力するにはどうするのでしょうか？