Почему бы не сделать вывод напрямую?
(format t "~a ~a" (format nil "$~a$" 10) (format nil "$~a$" 20))
Выше генерируются две строки, а затем внешний формат печатает их.
Почему бы вместо этого не выполнить печать напрямую?1007 *
или даже
(format t "$~a$ $~a$" 10 20)
или что-то вроде
(format t "~{ $~a$~}" '(10 20))