ISSUE-18: Large Operators
Large Operators
- State:
- CLOSED
- Product:
- Raised by:
- Michael Kohlhase
- Opened on:
- 2007-08-23
- Description:
- 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:57Display change log