Unique Notation Name  
 
Text from specification

Only one notation declaration can declare a given Name.
 
Explanation

Declaring two notations with the same name is illegal.