[Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 07:54:36 CET 2008
#31: containers are used as binding symbols in MathML2
---------------------------+------------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: major | Milestone: MathML3CD Draft1
Component: MathML CDs | Version:
Keywords: | Include_gantt: 0
Dependencies: | Due_assign: YYYY/MM/DD
Due_close: YYYY/MM/DD |
---------------------------+------------------------------------------------
In MathML2, containers like vector are also used in binding form, and if
we have single roles, we have to introduce new symbols for the binding
forms. Furthermore, we have to
disambiguate them in the strict2pragmatic conversion.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/31>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list