v1

Notation defined