"Symbolname: \"" (symbol-name (car sym)) "\"~%"
"First argument: \"" (cadr sym) "\"~%"
"Second argument: \"" (caddr sym) "\"")))
"Symbolname: \"" (symbol-name (car sym)) "\"~%"
"First argument: \"" (cadr sym) "\"~%"
"Second argument: \"" (caddr sym) "\"")))