Mathjax: Ativando mathbbm ou suporte mathbb para números

Obrigado pela solicitação de recurso.

Assim como bbm , este é principalmente um problema de fonte. As fontes MathJax padrão não contêm caracteres para números em negrito. Portanto, estender o mathbb requer a atualização de nossas fontes (o que hesitamos em fazer, pelo menos até movermos as fontes de imagem para fora do núcleo do MathJax).

Bem, eu entendo que as dificuldades técnicas estariam ao virar da esquina, e isso está longe de ser uma prioridade. Eu só queria que você soubesse que isso seria legal de ter.
Obrigado pelo seu trabalho incrível mais uma vez. :+1:

@Jerskouille obrigado por suas amáveis ​​palavras.

Você definitivamente pode escrever uma extensão se quiser (e contribuir para o nosso repositório de extensões de terceiros). Dessa forma, as pessoas podem usá-lo através do nosso CDN.

Uma extensão simples apenas mapearia para caracteres unicode (esperando que a maioria dos sistemas tivesse uma fonte com esses caracteres, o que não é muito improvável). Uma extensão avançada poderia incluir seu próprio font+fontdata, suponho, e eventualmente encontrar o caminho para o núcleo MathJax.

Houve algum progresso desde dois anos? Pelo menos uma extensão?

Isso surgiu no meta.math.SE recentemente aqui

https://math.meta.stackexchange.com/questions/31832/how-can-i-typeset-blackboard-bold-numbers/31834#31834

e o resumo é que a extensão unicode funciona: $\unicode{x1D7D8}\unicode{x1D7D9}\unicode{x1D7DA}\unicode{x1D7DB}\unicode{x1D7DC}\unicode{x1D7DD}\unicode{x1D7DE}\unicode{x1D7DF}\unicode{x1D7E0}\unicode{x1D7E1}$ dá ao quadro-negro números em negrito 𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡, embora dependa de fontes do sistema para que a saída não seja consistente entre as plataformas. Além disso, tenho conseguido colocar caracteres unicode diretamente no meu MathJax como $𝟘$ , mas não sei por que isso funciona. No Safari em um Mac, $\mathbb{123456789}$ funciona, mas somente se o renderizador matemático "HTML-CSS" for escolhido. As capturas de tela estão no link acima

No Safari em um Mac, $\mathbb{123456789}$ funciona, mas somente se o renderizador matemático "HTML-CSS" for escolhido.

O renderizador de saída HTML-CSS tenta evitar o download de fontes pela web, então ele detecta se você tem fontes MathJax TeX ou fontes STIX instaladas localmente e usa uma delas se tiver. O MacOS vem com as fontes STIX instaladas, portanto, você terminará com aquelas que estão sendo usadas, a menos que tenha tomado medidas para desabilitar as fontes STIX. Você pode verificar quais fontes são usadas selecionando o item "Sobre o MathJax" no menu contextual do MathJax.

As fontes MathJax são bastante limitadas (para que sejam menores para download), mas as fontes STIX são mais completas e incluem os numerais em negrito (enquanto as fontes MathJax TeX não). Isso significa que no seu Mac, com o renderizador de saída HTML-CSS, você obterá numerais duplicados corretamente renderizados.

Verificar as fontes locais para fontes STIX foi uma boa ideia, mas id levou ao fato de que pessoas diferentes veriam coisas diferentes, como no seu caso, então essa ideia foi abandonada nos formatos de saída posteriores. A saída CommonHTML usa apenas fontes MathJax TeX, e a saída SVG não usa fontes reais (usa elementos de caminho SVG). Nesses formatos, quando um determinado glifo não está disponível nas fontes MathJax, o MathJax pode tentar substituir um diferente para ter certeza de que algo pode ser apresentado e para que saiba o tamanho do glifo. No caso de caracteres duplos, o MathJax substituirá os caracteres em negrito se não tiver os duplos. (O negrito do quadro-negro era originalmente o meio de escrever caracteres no quadro-negro que deveriam estar em negrito se estivessem impressos. Então, tecnicamente, o negrito do quadro-negro nunca deveria aparecer impresso, pois era apenas uma conveniência para escrever caracteres em negrito com giz. Mas matemáticos gostam de tomar café com leite extra, então eles migraram para a impressão de qualquer maneira).

Portanto, em MathJax \mathbb{1} produzirá um 1 em negrito quando as fontes MathJax forem usadas, e \mathbb{a} será um "a" minúsculo em negrito (as fontes MathJax incluem apenas letras maiúsculas cartas). Mas se você usar as fontes STIX na saída HTML-CSS ou SVG, obterá as versões de golpe duplo.

No MathJax v3, o remapeamento de caracteres para outros foi removido, então \mathbb{1} irá gerar o caractere U+1D7D9, mas (como você mencionou) o resultado dependerá das fontes instaladas em seu sistema, e O MathJax não saberá o tamanho real dos resultados, então isso pode levar a resultados de qualidade inferior.

Neste verão, estamos entrando na Fase II da reescrita da v3, que envolve a atualização das fontes disponíveis. Este é um grande empreendimento e levará algum tempo, mas uma série de questões como esta devem ser abordadas.