Improved notation.