Eindeutiger Notation-Name  
 
Text aus der Spezifikation

Ein Name darf nur für eine Notation-Deklaration verwendet werden.

 
Erklärung

Die Deklaration zweier Notationen mit demselben Namen ist unzulässig.