Blackboard bold

Da escrita em giz à máquina de escrever

Tradicionalmente, nas publicações matemáticas impressas dos séculos XIX e início do XX, conjuntos numéricos como os reais ou os complexos eram grafados em negrito comum latino ou romano (por exemplo, R, C, Z, Q), prática consolidada por autores seminais e pelo influente grupo coletivo francês Nicolas Bourbaki.

Contudo, ao lecionar ou apresentar seminários no quadro-negro, preencher integralmente com giz a área interna de uma letra grossa para simular o negrito gráfico impresso era um procedimento moroso, cansativo e visualmente impreciso. Os matemáticos passaram, então, a traçar uma linha dupla em uma das hastes da letra manuscrita com a quina ou a borda do bastão de giz, estabelecendo uma convenção rápida e inconfundível para diferenciar um símbolo de conjunto de uma variável escalar comum (como a diferença entre a variável $R$ e o conjunto de números reais $\mathbb{R}$).

O mesmo expediente foi adotado com a difusão da máquina de escrever na elaboração de artigos e dissertações acadêmicas: para produzir caracteres destacados sem trocar a fita ou a esfera tipográfica, datilógrafos e pesquisadores realizavam uma batida dupla da mesma tecla intercalada com um ligeiro deslocamento manual do carro mecânico ou combinavam letras e barras verticais (como sobrepor a letra I à letra R para gerar um efeito próximo de $\mathbb{R}$).

Transição para o texto impresso

A transferência desse artifício puramente manuscrito para livros impressos formalmente deu-se em meados da década de 1960. Um dos primeiros registros em livro impresso de circulação comercial ampla encontra-se na monografia de Robert C. Gunning e Hugo Rossi sobre teoria das funções analíticas, publicada em 1965 pela editora Prentice-Hall:

Ao que tudo indica, uma das primeiras aparições formais do negrito de lousa em publicações tipográficas foi na edição de 1965 de Analytic Functions of Several Complex Variables, de Robert C. Gunning e Hugo Rossi, onde a editora reproduziu os símbolos com traço duplo que os autores utilizavam em seus originais datilografados.

— Prentice-Hall (1965).

Com o advento da editoração eletrônica científica criada por Donald Knuth (TeX) na virada para a década de 1980 e o desenvolvimento das fontes matemáticas da American Mathematical Society (AMS), o estilo foi digitalizado e batizado no ecossistema LaTeX sob a fonte e o comando \mathbb{...} (abreviação de mathematical blackboard). A partir desse momento, o uso de caracteres blackboard bold suplantou o negrito romano padrão na grande maioria dos periódicos de matemática e física do mundo.

A controvérsia tipográfica

A introdução do blackboard bold em páginas impressas de alta resolução não foi isenta de críticas estéticas por tipógrafos e matemáticos tradicionalistas. Destacados expoentes, entre os quais o célebre matemático francês Jean-Pierre Serre e o próprio criador do TeX, Donald Knuth, criticaram o uso do traço duplo em publicações impressas de alta qualidade. Serre sustentava que o blackboard bold é uma mera "imitação de giz em quadro" e que, no papel impresso, o negrito clássico (como R e C) é esteticamente superior, mais equilibrado e cumpre perfeitamente a função semântica sem poluir a mancha gráfica da página.

A despeito de tais advertências, o hábito consagrou-se globalmente, tornando-se convenção padrão nos manuais de estilo e nos comitês de padronização internacionais.

No sistema TeX e LaTeX

No ambiente LaTeX, a renderização primária dos caracteres blackboard bold é fornecida pelo pacote oficial amsfonts ou amssymb (desenvolvidos pela American Mathematical Society), através do comando \mathbb:

\usepackage{amssymb}
...
$\mathbb{R}, \mathbb{C}, \mathbb{Z}, \mathbb{Q}, \mathbb{N}$

Por limitações históricas de desenho das matrizes de glifos originais da AMS, o comando padrão \mathbb{...} suporta exclusivamente letras maiúsculas latinas ($A$ a $Z$) e a letra grega maiúscula $\Gamma$ ($\mathbb{\Gamma}$). Não renderiza nativamente letras minúsculas ou algarismos (como o número 1 para matriz identidade ou função indicadora).

Para contornar essa restrição e renderizar minúsculas e dígitos, a comunidade LaTeX criou pacotes complementares especializados:

• dsfont (Double Stroke): acionado pelo comando \mathds{1}, renderiza numerais como $\mathds{1}$ e letras minúsculas em estilo clássico europeu;
• bbold: oferece um alfabeto geométrico completo em traço duplo, incluindo minúsculas, numerais e pontuação, embora com estética sem serifa;
• unicode-math: para motores modernos como XeTeX e LuaTeX, mapeando diretamente qualquer caractere Unicode double-struck via fontes OpenType (como STIX Two Math ou Latin Modern Math).

No padrão Unicode

No padrão internacional Unicode, os caracteres em blackboard bold não foram reunidos em um único bloco primitivo contíguo devido a contingências de compatibilidade histórica:

1. Símbolos semelhantes a letras (Letterlike Symbols, U+2100 a U+214F):
Os sete símbolos mais comuns já haviam sido codificados em blocos iniciais para garantir interoperabilidade com códigos pré-existentes:

• $\mathbb{C}$ — U+2102 (DOUBLE-STRUCK CAPITAL C)
• $\mathbb{H}$ — U+210D (DOUBLE-STRUCK CAPITAL H)
• $\mathbb{N}$ — U+2115 (DOUBLE-STRUCK CAPITAL N)
• $\mathbb{P}$ — U+2119 (DOUBLE-STRUCK CAPITAL P)
• $\mathbb{Q}$ — U+211A (DOUBLE-STRUCK CAPITAL Q)
• $\mathbb{R}$ — U+211D (DOUBLE-STRUCK CAPITAL R)
• $\mathbb{Z}$ — U+2124 (DOUBLE-STRUCK CAPITAL Z)

2. Símbolos Matemáticos Alfanuméricos (Mathematical Alphanumeric Symbols, U+1D400 a U+1D7FF):
Com a introdução do plano suplementar 1 (SMP) no Unicode 3.1, completou-se o alfabeto com as letras maiúsculas restantes (U+1D538 a U+1D551), o alfabeto minúsculo completo ($\mathbb{a}$ a $\mathbb{z}$, U+1D552 a U+1D56B) e os dez algarismos decimais ($\mathbb{0}$ a $\mathbb{9}$, U+1D7D8 a U+1D7E1).

Em HTML e MathML

Na marcação Web, a especificação MathML prevê suporte semântico nativo ao estilo com o atributo mathvariant="double-struck":

<math>
  <mi mathvariant="double-struck">R</mi>
</math>

Em documentos HTML5, podem ser invocadas as entidades nomeadas tradicionais (por exemplo, ℕ para $\mathbb{N}$, ℤ para $\mathbb{Z}$, ℝ para $\mathbb{R}$, ℂ para $\mathbb{C}$ e ℚ para $\mathbb{Q}$) ou referências numéricas hexadecimais (como ℝ para $\mathbb{R}$).