# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorAli Caglayan
• CommentTimeSep 3rd 2018
Is there an ability to change the latex fonts? This would be nice as we could use the same fonts used in the HoTT book for the mathematics on the HoTT Wiki. It would give the HoTT wiki a more familiar look in my opinion. Although I do not think this would be possible because of how latex is renderewd on the nlab, although it doesn't hurt to ask.
• CommentRowNumber2.
• CommentAuthorRichard Williamson
• CommentTimeSep 3rd 2018
• (edited Sep 3rd 2018)

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.

• CommentRowNumber3.
• CommentAuthorAli Caglayan
• CommentTimeSep 4th 2018
• (edited Sep 4th 2018)
Is there a complaints page for fonts? For example $\equiv$ looks terrible on Chrome because the lines are not equally space and $\mathcal{ABCD-UVWXYZ}$ is strange for a caligraphic font. Usually in textbooks these are nice and rounded. This is of course the preference of the nlab, but it would be nice if the preferences only appied to each wiki seperately.
• CommentRowNumber4.
• CommentAuthorRichard Williamson
• CommentTimeSep 4th 2018
• (edited Sep 4th 2018)

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).

• CommentRowNumber5.
• CommentAuthorAli Caglayan
• CommentTimeSep 4th 2018

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?

1. 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.

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeSep 7th 2018

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?

• CommentRowNumber8.
• CommentAuthorRichard Williamson
• CommentTimeSep 7th 2018
• (edited Sep 7th 2018)

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.

• CommentRowNumber9.
• CommentAuthorUrs
• CommentTimeSep 7th 2018

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

• CommentRowNumber10.
• CommentAuthorjbian
• CommentTimeSep 7th 2018
Indeed the Kan browser extension uses Computer Modern via webfonts. I think multiple font settings with preferences stored in browser local storage is a great idea!