To explain these derivations, the following notation is introduced.