Bei den reellen Zahlen scheint es uns passieren zu können, daß wir zwei Zeichen benützen & nachher erst daraufkommen, daß sie das Gleiche bedeuten. Aber das darf nicht sein.