Blackboard bold
Blackboard bold is a typeface style that is often used for certain symbols in mathematical texts, in which certain lines of the symbol are doubled. The symbols usually denote number sets. One way of producing blackboard bold is to double-strike a character with a small offset on a typewriter. Thus they are also referred to as double struck.
In typography, such a font with characters that are not solid is called an "inline", "shaded" or "tooled" font.
Origin
In some texts these symbols are simply shown in bold type. Blackboard bold in fact originated from the attempt to write bold letters on blackboards in a way that clearly differentiated them from non-bold letters i.e. by using the edge rather than point of the chalk. It then made its way back into print form as a separate style from ordinary bold, possibly starting with the original 1965 edition of Gunning and Rossi's textbook on complex analysis.Use in textbooks
In the 1960s and 1970s, blackboard bold spread quickly in classrooms; it is now widely used in the English- and French-speaking worlds. In textbooks, however, the situation is not so clear cut: many mathematicians adopted blackboard bold, while many others still prefer to use bold.Well-known books that use blackboard bold style include Lindsay Childs's "A Concrete Introduction to Higher Algebra," which is widely used as a text for undergraduate courses in the U.S., John Stillwell's "Elements of Number Theory," and Edward Barbeau's "University of Toronto Mathematics Competition," which is often used to prepare for mathematics competitions.
Jean-Pierre Serre uses double-struck letters when writing bold on the blackboard, whereas his published works consistently use ordinary bold for the same symbols. Donald Knuth also prefers boldface to blackboard bold, and consequently did not include blackboard bold in the Computer Modern fonts that he created for the TeX mathematical typesetting system. On the other hand, Serge Lang does use blackboard bold in his famous "Algebra," which was widely used as a text for graduate courses in the U.S. for at least two decades.
The Chicago Manual of Style evolved over this issue. In 1993, it advised: "blackboard bold should be confined to the classroom". Whereas in 2003, it stated that "open-faced symbols are reserved for familiar systems of numbers".
Encoding
, the standard typesetting system for mathematical texts, does not contain direct support for blackboard bold symbols, but the add-on AMS Fonts package by the American Mathematical Society provides this facility; e.g., ℝ is written as\mathbb. The amssymb package loads amsfonts.In Unicode, a few of the more common blackboard bold characters are encoded in the Basic Multilingual Plane in the Letterlike Symbols area, named DOUBLE-STRUCK CAPITAL C etc. The rest, however, are encoded outside the BMP, in Mathematical Alphanumeric Symbols , specifically from
U+1D538 to U+1D550, U+1D552 to U+1D56B and U+1D7D8 to U+1D7E1.Usage
The following table shows all available Unicode blackboard bold characters.The symbols are nearly universal in their interpretation, unlike their normally-typeset counterparts, which are used for many different purposes.
The first column shows the letter as typically rendered by the ubiquitous LaTeX markup system. The second column shows the Unicode code point. The third column shows the symbol itself. The fourth column describes known typical usage in mathematical texts.
| Unicode | Symbol | Mathematics usage | |
U+1D538 | ? | Represents affine space or the ring of adeles. Occasionally represents the algebraic numbers, the algebraic closure of ℚ, or the algebraic integers, an important subring of the algebraic numbers. | |
U+1D552 | ? | ||
U+1D539 | ? | Sometimes represents a ball, a boolean domain, or the Brauer group of a field. | |
U+1D553 | ? | ||
U+2102 | ℂ | Represents the set of complex numbers. | |
U+1D554 | ? | ||
U+1D53B | ? | Represents the unit disk in the complex plane — for example as a model of the Hyperbolic plane. Occasionally ? may mean the decimal fractions or split-complex numbers. | |
U+1D555 | ? | ||
U+2145 | ⅅ | ||
U+2146 | ⅆ | May represent the differential symbol. | |
U+1D53C | ? | Represents the expected value of a random variable, or Euclidean space, or a field in a tower of fields, or the Eudoxus reals. | |
U+1D556 | ? | ||
U+2147 | ⅇ | Occasionally used for the mathematical constant e. | |
U+1D53D | ? | Represents a field. Often used for finite fields, with a subscript to indicate the order. Also represents a Hirzebruch surface or a free group, with a subset to indicate the number of generators. | |
U+1D557 | ? | ||
U+1D53E | ? | Represents a Grassmannian or a group, especially an algebraic group. | |
U+1D558 | ? | ||
U+210D | ℍ | Represents the quaternions, or the upper half-plane, or hyperbolic space, or hyperhomology of a complex. | |
U+1D559 | ? | ||
U+1D540 | ? | The closed unit interval or the ideal of polynomials vanishing on a subset. Occasionally the identity mapping on an algebraic structure, or an indicator function, or the set of imaginary numbers | |
U+1D55A | ? | ||
U+2148 | ⅈ | Occasionally used for the imaginary unit. | |
U+1D541 | ? | Occasionally represents the set of irrational numbers, R\Q. | |
U+1D55B | ? | ||
U+2149 | ⅉ | ||
U+1D542 | ? | Represents a field, typically a scalar field. This is derived from the German word Körper, which is German for field. May also be used to denote a compact space. | |
U+1D55C | ? | ||
U+1D543 | ? | Represents the Lefschetz motive. See Motive. | |
U+1D55D | ? | ||
U+1D544 | ? | Sometimes represents the monster group. The set of all m-by-n matrices is sometimes denoted ?. | |
U+1D55E | ? | ||
U+2115 | ℕ | Represents the set of natural numbers. May or may not include zero. | |
U+1D55F | ? | ||
U+1D546 | ? | Represents the octonions. | |
U+1D560 | ? | ||
U+2119 | ℙ | Represents projective space, the probability of an event, the prime numbers, a power set, the irrational numbers, or a forcing poset. | |
U+1D561 | ? | ||
U+211A | ℚ | Represents the set of rational numbers. | |
U+1D562 | ? | ||
U+211D | ℝ | Represents the set of real numbers. represents the positive reals, while represents the non-negative real numbers. | |
U+1D563 | ? | ||
U+1D54A | ? | Represents a sphere, or the sphere spectrum, or occasionally the sedenions. | |
U+1D564 | ? | ||
U+1D54B | ? | Represents the circle group, particularly the unit circle in the complex plane, or a Hecke algebra, or the tropical semi-ring, or twistor space. | |
U+1D565 | ? | ||
U+1D54C | ? | ||
U+1D566 | ? | ||
U+1D54D | ? | Represents a vector space or an affine variety generated by a set of polynomials. | |
U+1D567 | ? | ||
U+1D54E | ? | Occasionally represents the set of whole numbers, which also are represented by ℕ0. | |
U+1D568 | ? | ||
U+1D54F | ? | Occasionally used to denote an arbitrary metric space. | |
U+1D569 | ? | ||
U+1D550 | ? | ||
U+1D56A | ? | ||
U+2124 | ℤ | Represents the set of integers. | |
U+1D56B | ? | ||
U+213E | ℾ | ||
U+213D | ℽ | ||
U+213F | ℿ | ||
U+213C | ℼ | ||
U+2140 | ⅀ | ||
U+1D7D8 | ? | ||
U+1D7D9 | ? | Often represents, in set theory, the top element of a forcing poset, or occasionally the identity matrix in a matrix ring. Also used for the indicator function and the unit step function, and for the identity operator or identity matrix. | |
U+1D7DA | ? | Often represents, in category theory, the interval category. | |
U+1D7DB | ? | ||
U+1D7DC | ? | ||
U+1D7DD | ? | ||
U+1D7DE | ? | ||
U+1D7DF | ? | ||
U+1D7E0 | ? | ||
U+1D7E1 | ? |
In addition, a blackboard-bold μn is sometimes used by number theorists and algebraic geometers to designate the group scheme of nth roots of unity.