Notation fully extended.