added a string insert function and a notation conversion function