In a formula such as $x:=a+b$ with MathML rendering, an unwanted space appears between the colon and the equals sign. The generated MathML code for := is <mo>:</mo><mo>=<mo>. I think <mo>:=</mo> would be more correct. (Note the TeX rule of no space between adjacent relation symbols, precisely to accomodate such constructs as :=.)
Davide P. Cervone
2010-09-23
Yes, you are correct, the TeX input jax puts each operator in its own <mo>, because TeX treats them as separate characters, not a combined symbol. There are a number of situations like this where the TeX input jax produces MathML that is not optimal, and we do hope to improve that in the future. Combining adjacent relation operators would be a good start. I'm not sure when that will be done, but I'll put it on the to-do list.
Davide
Davide P. Cervone
2010-09-23
Davide P. Cervone
2010-09-28
OK, I've fixed this in SVN 611 so that adjacent relational operators are stored as a single <mo> during the TeX conversion. See if that works better for you.
Davide
Davide P. Cervone
2010-09-28