Notation 2