The name of the notation is required in the notation declaration.

The notation name is required in the notation declaration.