updating core notation to the new style