Digital sound is nothing more than numbers. What separates one container from another is how those numbers are packed, how much data (if any) is thrown away, and which devices understand the result.

When the MP3 player took off in the late 1990s, the format itself entered the public consciousness in a way not many others have — with perhaps the Word document being an exception. But what is an ...