added notationConverter.js