I have some mp3 files which I wish to copy to a cd in a form that can be played by an ordinary cd player. If this is possible what export format do I use.
WAV format , see … https://manual.audacityteam.org/man/burning_music_files_to_a_cd.html
Most CD burning software will accept MP3s and will convert them automatically to the required format.
Thanks - I have checked and I can do that.