[Om] Multistep "equation" symbol?

Professor James Davenport jhd at cs.bath.ac.uk
Mon May 11 21:29:37 CEST 2009


On Mon, May 11, 2009 8:21 pm, Arjeh Cohen wrote:
> On Mon, May 11, 2009 at 03:37:38PM +0200, Lars Hellström wrote:
>> Is there an established OM symbol for "multistep equations" (see
>> example below)? If not, would it make sense as part of some official
>> content dictionary?
>
>
> Yes, in the CDs I once wrote for RIACA
> http://www.win.tue.nl/~amc/oz/om/cds/relation4.xml
>
> These were once available via www.openmath.org
> but I do not kinow the current situation.
There's a relation4 on the webiste, but it only contains a symbol for
n-way equal: I don't think it really answers the question.

James Davenport
Visiting Full Professor, University of Waterloo
Otherwise:
Hebron & Medlock Professor of Information Technology and
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
IMU Committee on Electronic Information and Communication



More information about the Om mailing list