Notation scoping