Open dbitouze opened 2 years ago
\NewNotCommand cited in (currently page 20 of) the documentation should be replaced by \NewNegationCommand, since the former isn't defined.
\NewNotCommand
\NewNegationCommand
Not relevant.
Description
\NewNotCommand
cited in (currently page 20 of) the documentation should be replaced by\NewNegationCommand
, since the former isn't defined.Add info or delete as appropriate:
Minimal example demonstrating the issue
Not relevant.
Further details