Georg Baum wrote:
Because Ugras thought that nomenclature is not well known by non-native speakers. I don't know Notation either. Should we replace it with "Glossary and "Glossary Entry" instead?"As you know, the term "Notation" is quite generic in German. I guess the same holds in English.
Glossary sounds much better. I am going to change this, if you don't mind. OK? Michael
