typesetting music and related stuff
