Ein Name darf nur für eine Notation-Deklaration verwendet werden.
Die Deklaration zweier Notationen mit demselben Namen ist unzulässig.