reverse notation