#14: arity for symbols
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: kohlhase
Type: proposal | Status: new
Priority: blocker | Milestone: CD3 Draft1
Component: CD3 Format | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by jhd):
Possibly, though this would take away (some of) the rationale for STS.
I WOULD like to keep nassoc, though.
I do prefer the ARITY tag rather than overloading ROLE, not least because
I am undertain about ROLE.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/14#comment:6>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.