Notation ameliorations