Sounds good. I have just sent an email to you and Jake.

]]>I would very much welcome if he would like to try out some things!

I might be wrong, but I think I saw that he was using Computer Modern or something similar, i.e. what LaTeX uses. It is unusual to see these on the web, but I would welcome it from a technical perspective, because it would mean we have a consistent look at the same time (presumably) as being able to render all unicode mathematics symbols.

]]>Just to recall that the need to change the nLab fonts had also been felt by others, see the announcement here of Jake Bian’s browser extionsion Kan for changing nLab appearance.

Maybe Jake could get involved and lend a hand here?

]]>Interesting! My guess is that this has to do with the fact that the nLab mathematics is MathML, and MathJax is parsing that, whereas usually it just parsing the LaTeX directly. I do not know though whether the type of calligraphic font is specified in the MathML, or whether it is MathJax that is making the choice of how to render it.

]]>If you look here you can see the mathcal fonts being used. Now the one that appears in the HoTT book is under ’none’ but it appears as if nlab is using mathcal from calrsfs. Usually Mathjax would render it like the HoTT book so it seems nlab is going out of its way to change the mathcal font?

I suspect calrsfs is being used in the configuration of mathjax?

]]>Thanks for all the notifications of bugs and questions, I will respond when I get the chance. Just wanted to say that in Chrome the fonts are rendered with MathJax; you could certainly raise any issues to the MathJax project.

By the way, I don’t mind trying out the HoTT book fonts on the HoTT wiki if you or somebody else can provide me with a link to where I can obtain then (or the name if they are standard web fonts).

]]>I have been thinking a fair bit about fonts recently, because I am experimenting with a new LaTeX renderer for the nLab, and the fonts are actually the trickiest point (so far at least). It is always possible to ’embed’ the fonts, so in principle we could do what you suggest. The problem is that at the moment we have to make the decision once and for all, and probably there will be just as many people who would not like this. For the future, though, we could allow a user to choose, storing the choice in the browser.

]]>