The command SET PRINTER FONT works when destination is a printer,
but how can I set the font when the destination is a file.
Thank you for your help.

FYI the command I used is "list noconsole off to file"
and there's no option to set the font in the LIST and DISPLAY commands.