On 5/4/08, Andrey G. Grozin <A.G.Grozin at inp.nsk.su> wrote:
> > (defprop mtimes "\\*" texsym)
> This line is necessary to distinguish the product x*y from the variable xy.
I should have mentioned, if this TeX property is indeed necessary,
then just changing it to
(defprop mtimes ("\\*") texsym)
should also make the problem go away.
best
Robert Dodier