Ticket #505 (new enhancement)
Autocompletion for Notation Definitions
At the moment the patterns for notation definitions only work for the format they are specified for, i.e. OpenMath?, Pragmatic MathML, or Strict MathML. But these formats are equivalent: OM and StrictCMML directly and Pragmatic CMML via http://www.w3.org/TR/2009/WD-MathML3-20090604/chapter4.html#contm.p2s. Therefore it would be possible to generate equivalent patterns in all formats and thus complete the notation definitions, making them much more usable.
It would probably be enough to have the full set of patterns internally, to ensure maintainability.