Exporting in CD format

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.