ISSUE-18: Large Operators

Large Operators

Raised by:
Michael Kohlhase
Opened on:
The large operators can be solved in two ways, in the way described here, by invening
large operators (and David does not like symbol names distinguished only by case; and I
agree tend to agree with him). Or by extending the role of roles to allow duplicate
roles per symbol, then we could re-use the symbols like we did in MathML2, but then we
would have to extend OpenMath for that
Related Actions Items:
No related actions
Related emails:
No related emails

Related notes:

we have found a good way of doing that and we are updating the CDs, closing this issue.

Michael Kohlhase, 8 May 2008, 06:16:57

Display change log ATOM feed

Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <>.
$Id: 18.html,v 1.1 2016/05/09 13:05:44 carine Exp $