Li sobre como reproduzir um som usando a API MediaPlayer, mas não tenho ideia de qual extensão de arquivo devo usar. É para um som de notificação personalizado e tenho certeza de que MP3 pode ser a melhor opção, mas não tenho certeza se existe uma convenção para um tipo que seja melhor por algum motivo.
Eu sei que essa pergunta pode ser mais uma base de opinião, mas de qualquer forma, deixe-me saber o que vocês costumam usar.
Não, não há. MP3 deve ficar bem. Você pode encontrar os formatos de mídia suportados na documentação .