refactoring notation converter