Changed notation.