numbers issueshttps://gl.mathhub.info/smglom/numbers/-/issues2018-09-08T13:25:34Zhttps://gl.mathhub.info/smglom/numbers/-/issues/3regularize named number symbol names2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.deregularize named number symbol namesWe 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 ```...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.
https://gl.mathhub.info/smglom/numbers/-/issues/2motzkinnumbercat is a view2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.demotzkinnumbercat is a viewand it should be marked up as such. and it should be marked up as such. https://gl.mathhub.info/smglom/numbers/-/issues/1coordinate symbols2018-09-08T13:25:34ZMichael Kohlhasemichael.kohlhase@fau.decoordinate symbolsas in http://gl.mathhub.info/smglom/smglom/issues/6
as in http://gl.mathhub.info/smglom/smglom/issues/6