Ticket #1648 (assigned defect)
think about the notation environment and notatiendum macro.
|Reported by:||kohlhase||Owned by:||kohlhase|
|Priority:||highest||Milestone:||sTeX 1.0 release|
|Blocking:||Due to close:||YYYY/MM/DD|
|Include in GanttChart:||no||Dependencies:|
|Due to assign:||YYYY/MM/DD|
these two are currently relatively ad-hoc, and their relation to the symdef process should be better understood. In particular, there is no clear indication on how \notatiendum should be used (and conflicting documentation and examples in statements.dtx.
All of this needs to be understood and cleaned up.
There is also an issue with markup practice: \symdef macros need to be done in the running text; probably best in notation or definition environments to have more locality.