Noteworthy Composer, which has already been mentioned twice is a good one and not too expensive. They might also check out the ABC home page. ABC is an ASCII based music notation system, which has much freeware written for it, both for Windows and Macs. Although it has a bit of a learning curve, once learned, it's fast and easy to notate a tune and it's platform independent. It's found here:

Click here