The ABC processor I use makes postscript vector representations of the music, which remain in vector form when converted to PDF, so they also scale up to any size without losing resolution. It's the obvious way to do stuff like this, and it makes very small files - there's no need for bitmaps until it hits the screen or paper.