circle operator, `@`

[David Lippman]

Recently I've noticed that in some installs of FireFox, the circle
operator, asciimathml symbol @, is displaying as a degree symbol
rather than as the circle operator. The symbol code is correct, as
far as I can tell, because it displays correctly when cut-and-paste
into a text editor with another font, suggesting that maybe it's a
font issue.

Does anyone know what's going on, and more importantly, can anyone
think of a workaround?

[David Lippman]

I was able to track this down to using mathfontfamily="serif" in my
asciimathml, which sets the fontfamily attribute of the <mstyle> tag.

There must be some font on my system other than STIX which FireFox is
using when this attribute is set. Turns out IE+Mathplayer is doing
something screwy with this setting as well.

So immediate fix for me is to remove this attribute. However I really
want my math in a serif font even when embedded in sanserif text, so
need to try to work around that..

[David Lippman]

OK, the best I can tell, the story is that the default serif font
(Times) does not have this symbol, so FireFox was turning to some
other font which had the wrong symbol.

This seems to allow me to use Times for most stuff, and STIX for the
missing stuff, and display correctly.

var mathfontfamily="Times,STIXGeneral,serif";