Updated notation