Finale and Sibelius are the most used by professionals, but the full versions are very expensive. I have been a Sibelius user since the mid 90's, but stopped upgrading several years ago. The company was sold, and the new owners (Avid) switched to a subscription model where you have to pay an annual fee.
Finale has a free version called Notepad. It's pretty basic, but sounds like it would work for your purposes. It is Windows only - no Mac version. Sibelius First is also free and has both Mac & Windows versions.
Musescore is also free and seems pretty robust. I haven't tried it, but a lot of folks swear by it. Windows, Mac, and Linux versions.