[Om] invisible times and invisible plus
ch.lange at jacobs-university.de
Mon Aug 31 15:09:41 CEST 2009
Dear Jan Willem,
2009-08-31 14:23 Jan Willem Knopper <jknopper at win.tue.nl>:
> Is there a way to describe in OpenMath that a certain times or plus
> symbol is invisible ?
AFAIK there is no standard way, and IMHO there should not be a standard way.
I think there are two nonstandard solutions, one of which should be chosen as
appropriate for the particular application:
1. define a special OpenMath symbol not just for the "invisible plus" in a
mixed fraction, but a specific constructor for the mixed fraction.
(Compare James' favorite landau-in example, where he also introduces a
completely new symbol.)
2. use the normal plus, but annotate the whole expression with some
information that causes the renderer to render the plus invisibly.
1. could look like
<OMS cd="my" name="mixed"/>
2. could look like
<OMS cd="my" name="preferred-presentation"/>
<OMS cd="my" name="mixed-number"/>
<OMS cd="arith1" name="plus"/>
<OMS cd="arith1" name="divide"/>
I could imagine a more sophisticated attribution with the context-related
stuff developed by my colleagues, see Kohlhase/Müller/Rabe MKM 2008.
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20090831/5c34a9fd/attachment.pgp
More information about the Om