Notational changes.