Making them n-ary doesn't solve the classical writing of a < b > c which is used quite often still.So another workaround is neither whatsoever and I think it should be at the notations' level. I'm not against n-ary relations but just warn that the solution is partial.
paul Le 21-sept.-08 à 06:16, Michael Kohlhase a écrit :
Dear all, I have found a synchronization issue that I would like to discuss. In the OpenMath CD relation1.ocd most of the relations are given as binary (e.g. eq, lt, gt, leq, geq) and in the MathML2 spec they are given as n-ary. What do we do? In this case, I think that the soluton should be make them n-ary. @JAMES, is this OK with the CD extension rules? I have started a discussion item on the discussion page at http://wiki.openmath.org/?title=cd%3Arelation1.
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
