Editorial notes

1) Notation.