O Ubuntu, normalmente pré-instalado, não contém algumas fontes proprietárias.
A página usa a fonte Symbol .
Eu instalei com as seguintes ações:
- Instalado o Visualizador de fontes do GNOME com
sudo apt-get install gnome-font-viewer
(ou, se você usar o MATE DE, poderá instalar o MATE Font Viewersudo apt-get install mate-control-center
) - Fonte Symbol baixada em o link com o navegador.
- A fonte transferida por download foi clicada e clicou no botão Instalar fonte
- Navegador da Web fechado e aberto novamente na página.
- Todas as equações foram processadas corretamente.
Nota: você pode usar outra pergunta "Como instalar fontes?" para capturas de tela.