And welcome for that reason. Thanks! Larry > On 10 Oct 2024, at 13:25, Makarius <makarius at sketis.net> wrote: > > This is more robust than individual 'no_syntax' / 'no_notation' > commands, which need to copy mixfix declarations from elsewhere and thus > break after changes in the library.