Open kohlhase opened 8 years ago
In MathHub/smglom/calculus/source, running lmh symbols generates
MathHub/smglom/calculus/source
lmh symbols
Michaels-MBP:source kohlhase$ lmh symbols Adding 1 symbol definition(s) from /mounted/lmh/MathHub/smglom/calculus/source/discrete-metric.de.tex
and ideed, it generates
``` \symii{metric}{space} in discrete-metric.tex, and I cannot see where it may come from I think this is a bug.
``` \symii{metric}{space}
discrete-metric.tex
The same problem appears at smglom/source/alpharenaming.en.tex
smglom/source/alpharenaming.en.tex
In
MathHub/smglom/calculus/source
, runninglmh symbols
generatesand ideed, it generates
``` \symii{metric}{space}
indiscrete-metric.tex
, and I cannot see where it may come from I think this is a bug.