write-char

(write-char character &optional stream)

Writes a single character to standard output (or to the given stream), returning the character. Expands to write-string of the one-character string on every backend, so it works wherever string output does — including file streams, string streams and socket handles. Classified as a macro (no function value), like format.

ok