mystyle.sty modified so that exercise, notation, definition, etc are valid environments.