See previous notation.