Problem rendering formulas in the website

[leodemoura]

Today, I was showing dReal to a colleague, and I noticed a problem in some pages.
See the following snapshot. I tried it using Chrome for Windows and Linux.

[scungao]

Thank you so much Leo! It's strange! I can't reproduce it; can you, @soonhokong ?

[soonhokong]

• OSX + Chrome : 🆗
• OSX + Safari : 🆗
• OSX + Firefox 🚫

[soonhokong]

Thanks @leodemoura! I'll fix it this afternoon!

[soonhokong]

It's strange, reloading the page by pressing F5 solved the problem. Anyway, I'll investigate the issue..

[leodemoura]

I tried reloading the page. It also solved the problem for me.

[soonhokong]

@leodemoura, thanks for checking it. Sooner or later, leanprover.github.io will also use some math symbols via MathJax, I'll figure out what's going on behind the scene here.

I've also heard many good things about KaTeX. I'll check it this time.

[soonhokong]

1. This bug is pretty difficult to reproduce.. So far I can only made it once when I first wrote the comment. I'll try to reproduce this later tonight.
2. KaTeX is very fast, at least 10x. But it lacks some features of LaTeX, for instance, it doesn't support \mathsf{}. I would give more time for it.