thumb|right|300px|Exemplos de caracteres tipográficos no estilo blackboard bold. Blackboard bold (em português: negrito de lousa, negrito de quadro ou caracteres com traço duplo; em inglês: double-struck) é um estilo tipográfico caracterizado pela duplicação de certas hastes (geralmente verticais ou oblíquas principais) em letras e algarismos, criando a impressão visual de um traço vazado ou duplo.
O estilo é amplamente empregado na notação matemática, na física teórica e na ciência da computação para representar conjuntos numéricos fundamentais e estruturas algébricas específicas, tais como os números naturais (), inteiros (), racionais (), reais () e complexos ().
Originado da necessidade prática de distinguir caracteres em negrito ao escrever com giz em quadros-negros durante aulas e palestras acadêmicas, o estilo migrou gradualmente para textos datilografados e para a editoração impressa profissional por meio de sistemas como o TeX e o padrão Unicode.
Origem histórica e evolução
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:
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.
Principais símbolos e significados
Glifo LaTeX Nome / Descrição matemática Origem / Etimologia do símbolo \mathbb{N} Conjunto dos números naturais ($0, 1, 2, 3, \ldots$ ou $1, 2, 3, \ldots$) Do latim naturalis. \mathbb{Z} Conjunto dos números inteiros ($\ldots, -2, -1, 0, 1, 2, \ldots$) Do alemão Zahlen ("números"). \mathbb{Q} Conjunto dos números racionais ($\frac{a}{b}$ com $a, b \in \mathbb{Z}, b \neq 0$) Do italiano quoziente ou alemão Quotient ("quociente"). \mathbb{R} Conjunto dos números reais Do latim realis. \mathbb{C} Conjunto dos números complexos ($a + bi$) Do latim complexus. \mathbb{H} Quaterniões (álgebra não comutativa de 4 dimensões) Em homenagem ao matemático irlandês William Rowan Hamilton. \mathbb{O} Octoniões (álgebra não associativa de 8 dimensões) Do grego/latim octo ("oito"). \mathbb{S} Sedeniões (álgebra de Cayley-Dickson de 16 dimensões) Do latim sedecim ("dezesseis"). \mathbb{P} Espaço projetivo em geometria algébrica; ou probabilidade Do latim projectio / inglês probability. \mathbb{F} Corpo finito (corpo de Galois $\mathbb{F}_q$) ou um corpo arbitrário Do inglês field (corpo). \mathbb{K} Corpo arbitrário de escalares (usualmente $\mathbb{R}$ ou $\mathbb{C}$) Do alemão Körper ("corpo"). \mathbb{E} Valor esperado ou esperança matemática em probabilidade Do inglês expectation ou francês espérance. \mathbb{1} Função indicadora ou matriz identidade unitária Do algarismo arábico 1.
Aplicações disciplinares específicas Além dos conjuntos numéricos elementares, a notação é empregada com sentidos consagrados em ramos especializados:
Probabilidade e Estatística: $\mathbb{P}(A)$ ou $\mathbb{Pr}(A)$: expressa a probabilidade de ocorrência de um evento $A$; $\mathbb{E}[X]$: denota o operador valor esperado (média teórica ponderada) da variável aleatória $X$; $\mathbb{V}[X]$ ou $\mathbb{Var}(X)$: denota a variância. Geometria Algébrica e Topologia: $\mathbb{A}^n$: representa o espaço afim $n$-dimensional sobre um corpo; $\mathbb{P}^n$ ou $\mathbb{CP}^n$: denota o espaço projetivo $n$-dimensional (real ou complexo); $\mathbb{D}$: designa frequentemente o disco unitário aberto $\{z \in \mathbb{C} : |z| < 1\}$ no plano complexo; $\mathbb{T}$: representa o toro geométrico unidimensional ou o grupo do toro (o círculo unitário $S^1$). Lógica e Computação: $\mathbb{B}$: representa o conjunto booleano binário $\{0, 1\}$ (ou $\{\text{Verdadeiro}, \text{Falso}\}$); $\mathbb{I}$ ou $\mathbb{1}$: empregado como função característica (ou indicadora) de um subconjunto, que assume valor 1 para elementos pertencentes e 0 para os demais.
Codificação digital e computacional
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}$).
Ver também Notação matemática Conjunto Fonte tipográfica Negrito TeX e LaTeX
Referências
Ligações externas Tabela de símbolos Double Struck / Blackboard Bold no World Wide Web Consortium (W3C) (em inglês) Artigo sobre Doublestruck / Blackboard Bold no Wolfram MathWorld (em inglês)
Categoria:Tipografia Categoria:Notação matemática Categoria:Símbolos matemáticos Categoria:Fontes tipográficas