Notation conversion