Notation updates