Is there a way for GarageBand to export to MIDI?

I’m doing some music productions on GarageBand and I can even export my music easily to mp3, but I never found a way to export to MIDI files. I need to open these MIDI files in Synthesia which only accepts .mid files.

Askify Moderator Edited question April 16, 2023