For the most part, elements of the Notation
package that are part of a package I load work without issues, but InfixNotation
appears not to be correctly parsed by package load
For example if I have a package containing
InfixNotation[ParsedBoxWrapper["\[CircleTimes]"],KroneckerProduct];
this has no effect when loaded. Is there something additional I need to do to load InfixNotation
definitions?