[Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 07:58:19 CET 2008
#23: sort out symbols for associative binary operators, e.g. union
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: blocker | Milestone: MathML3CD Draft1
Component: MathML CDs | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Changes (by kohlhase):
* milestone: CD3 Draft1 => MathML3CD Draft1
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/23#comment:6>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list