Notation example