Способы обойти ошибку нотации Mathematica?

Я думаю, что ваша проблема заключается в том, как Mathematica обрабатывает Notation[], quote:

При определении собственных обозначений крайне важно использовать шаблоны обозначений. Причина этого ограничения заключается в том, что шаблоны, вставленные в записную книжку, содержат необходимые поля тегов, встроенные правильным образом.

Может быть вообще невозможно иметь файл пакета с вызовом Notation[], но есть предложение использовать ParsedBoxWrapper, с которым у меня сейчас не было времени поиграться.

Существует хитрое решение вашей проблемы, заключающееся в том, что вы помещаете все назначения Notation[] в одну ячейку записной книжки и делаете ее ячейкой инициализации (щелкните правой кнопкой мыши край ячейки -> Ячейка инициализации). Кстати, это также создаст файл .m только с содержимым этой ячейки (но этот файл, увы, не будет работать с Needs[] или <<). После этого вы можете свернуть ячейку, сделать ее нередактируемой, неоценимой и вуаля! Почти как то, что вы хотите.

Я должен отметить, что с точки зрения распространения этот кладж довольно удобен, поскольку файл .m регенерируется каждый раз, когда вы загружаете основной файл, поэтому вам не нужно отправлять несколько файлов. Единственным недостатком является немного уродливая записная книжка (т. е. одна скрытая ячейка) и всплывающее окно с вопросом, хотите ли вы оценить ячейки инициализации записной книжки всякий раз, когда вы впервые оцениваете что-то в этой записной книжке.