Notation 1.3

Notation 1.3