moved notation conversion to separate directory