Notation improvements.