Closed kohlhase closed 12 months ago
The MWE is
\documentclass{stex} \libinput{preamble} \begin{document} \usemodule[smglom/sets]{mod?finite-cardinality} \setnotation{card}{bars} \begin{smodule}{foo} \begin{sdefinition} $\card{V}$ \end{sdefinition} \end{smodule} \end{document}
If I comment out \setnotation, no problem
\setnotation
fixed and pushed
Excellent, thanks.
The MWE is
If I comment out
\setnotation
, no problem