Around the schools in my area the music teachers are fairly evenly divided between Finale and Sibelius, both of which operate on both platforms and both of which deal with notation and MIDI. It seems both have a strength the other lacks but I've not used either at this stage.

Cheers, Rowan