Editorial notes

1) There is a double arrow.