Closed kohlhase closed 11 months ago
I don't understand the problem...? Clearly the \inlineass
es are being picked up on, given that they're all semantically highlighted?
what is worse, it even seems to mess with perfectly good \definames
I don't understand what's being messed with here either...
Note however that [name=...
declares a new symbol by that name, since I see both \symdecl*{conjugate symmetry}
and \inlineass[name=conjugate symmetry]
in the first screenshot, where the latter overrides the former
OK, probably my fault.
in e.g. smglom/functional-analysis/source/mod/inner-product-space.en.tex:
what is worse, it even seems to mess with perfectly good
\definame
s (in the last line of smglom/logic/source/mod/derivation-relation.en.tex:)