regularize named number symbol names
We often find things like \defii[motzkinnumber]{Motzkin}{number}
in *.en.tex
, and \defi[motzkinnumber]{Motzkin-Zahl}
in *.de.tex
.
I would like to have this regularized into \defii{Motzkin}{number}
in *.en.tex
, and \defi[Motzkin-number]{Motzkin-Zahl}
in *.de.tex
.
Note that all the \*tref*
also need to be adapted.
I think that this is important to do, since this is the most canonical way, and we want to have things uniform in the future.