Typographical conventions in mathematical formulae provide uniformity across
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
texts and help the readers of those texts to grasp new concepts quickly.
Mathematical notation includes letters from various alphabets, as well as special mathematical symbols. Letters in various
font
In movable type, metal typesetting, a font is a particular #Characteristics, size, weight and style of a typeface. Each font is a matched set of type, with a piece (a "Sort (typesetting), sort") for each glyph. A typeface consists of a range of ...
s often have specific, fixed meanings in particular areas of mathematics. A mathematical article or a
theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of ...
typically starts from the definitions of the introduced symbols, such as: "Let ''G'' = (''V'', ''E'') be a
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
with the vertex set ''V'' and edge set ''E''...". Theoretically it is admissible to write "Let ''X'' = (''a'', ''q'') be a graph with the vertex set ''a'' and edge set ''q''..."; however, this would decrease readability, since the reader has to consciously memorize these unusual notations in a limited context.
Usage of
subscripts and
superscripts is also an important convention. In the early days of computers with limited graphical capabilities for text, subscripts and superscripts were represented with the help of additional notation. In particular, ''n''
2 could be written as n^2 or n**2 (the latter borrowed from
FORTRAN) and ''n''
2 could be written as n_2.
International recommendations
Various international authorities, including
IUPAC,
NIST and
ISO have produced similar recommendations with regard to typesetting
variables and other mathematical symbols (whether in
equations or otherwise). However, these recommendations do not always follow the common practice of mathematicians as they are described in the ''AMS Style Guide'' of the
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings ...
,
and reflected in the
manual of style
A style guide or manual of style is a set of standards for the writing, formatting, and design of documents. It is often called a style sheet, although that term also has Style sheet (disambiguation), multiple other meanings. The standards ca ...
of
Wikipedia
Wikipedia is a multilingual free online encyclopedia written and maintained by a community of volunteers, known as Wikipedians, through open collaboration and using a wiki-based editing system. Wikipedia is the largest and most-read ref ...
.
In general, anything that represents a variable (for example, ''h'' for a patient's height) should be set in
italic type
In typography, italic type is a cursive font based on a stylised form of calligraphic handwriting. Owing to the influence from calligraphy, italics normally slant slightly to the right. Italics are a way to emphasise key points in a printed tex ...
, and everything else should be set in
roman type. This applies equally to characters from the Latin/English alphabet (a, b, ..., z, A, B, ..., Z) as to letters from any other alphabet, most notably Greek (α, β, γ, ..., ω, Α, Β, Γ, ..., Ω). Any operator, such as (representing the
cosine function
In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is oppo ...
) or Σ (representing
summation
In mathematics, summation is the addition of a sequence of any kind of numbers, called ''addends'' or ''summands''; the result is their ''sum'' or ''total''. Beside numbers, other types of values can be summed as well: functions, vectors, m ...
), should therefore be set roman. Note that each element must be set depending upon its own merits, including subscripts and superscripts. Thus, ''h''
i would be suitable for the interior height of a dome (the subscript "i" being an abbreviation of the word ''interior''), while ''h
i'' would represent one instance (the ''i''
th) from a
set of heights. Notice that
number
A number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers ...
s (1, 2, 3, ''etc.'') are not variables, and so are always set roman. Likewise, in some special cases symbols are used to represent general constants, such as π used to represent the ratio of a
circle
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...
's circumference to its diameter, and such general constants can be set in roman. (This does not apply to
parameter
A parameter (), generally, is any characteristic that can help in defining or classifying a particular system (meaning an event, project, object, situation, etc.). That is, a parameter is an element of a system that is useful, or critical, when ...
s which are merely chosen to not vary.)
For
vectors,
matrices and
tensor
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tens ...
s, it is recommended to set the variable itself in boldface (excluding any associated subscripts or superscripts). Hence, ''u''
i would be suitable for the initial velocity, while ''u
i'' would represent one instance from a set of velocities . Italic is still used for variables, both for lowercase and for uppercase symbols (Latin, Greek, or otherwise). The only general situation where italic is not used for bolded symbols is for vector operators, such as ∇ (nabla), set bold and roman.
General rules in mathematical typography
The rules of mathematical typography differ slightly from country to country; thus, American
mathematical journals and books will tend to use slightly different conventions from those of European journals.
One advantage of mathematical notation is its modularity—it is possible to write extremely complicated formulae involving multiple levels of superscripting or subscripting, and multiple levels of
fraction
A fraction (from la, fractus, "broken") represents a part of a whole or, more generally, any number of equal parts. When spoken in everyday English, a fraction describes how many parts of a certain size there are, for example, one-half, eight ...
bars. However, it is considered poor style to set up a formula in such a way as to leave more than a certain number of levels; for example, in non-math publications
:
might be rewritten as
:
(Even in mathematical publications, where 3 or 4 levels of indices are frequent, avoiding multilevel fractions is productive.)
Incidentally, the above formula demonstrates the rule that
italic type
In typography, italic type is a cursive font based on a stylised form of calligraphic handwriting. Owing to the influence from calligraphy, italics normally slant slightly to the right. Italics are a way to emphasise key points in a printed tex ...
is used for all letters representing variables and parameters except uppercase Greek letters, which are in upright type. Upright type is also standard for digits and punctuation; currently, the ISO-mandated style of using upright for constants (such as
e,
i) is not widespread. Bold Latin capital letters usually represent
matrices, and bold lowercase letters are often used for
vectors. The symbols of
functions that are not reduced to a single letter, such as sin(''x'') (the
trigonometric function sine) and exp(''x'') (the
exponential function
The exponential function is a mathematical function denoted by f(x)=\exp(x) or e^x (where the argument is written as an exponent). Unless otherwise specified, the term generally refers to the positive-valued function of a real variable, ...
) are written in lowercase upright letters (and often without parentheses around the
argument
An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called conclusion. Arguments can be studied from three main perspectives: the logical, the dialect ...
).
Certain important constructs, mainly the basic
number systems, are sometimes referred to by
blackboard bold letters. For example, some authors denote the
set of
natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called '' cardinal ...
s by
. Other authors prefer to use bold Latin for these symbols.
[Krantz, S., ''Handbook of Typography for the Mathematical Sciences'', Chapman & Hall/CRC, Boca Raton, Florida, 2001, p. 35.] (In the context of math, font variations such as bold/non-bold may encode an arbitrary relation between symbols; using specialized symbols for
etc. allows the author more freedom of expressing such relations.)
Donald Knuth
Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer ...
's
TeX typesetting engine incorporates a large amount of additional knowledge about mathematical typography.
See also
*
Mathematical notation
*
Language of mathematics
*
Greek letters used in mathematics
*
Roman letters used in mathematics
*
Mathematical alphanumeric symbols
*
Table of mathematical symbols
*
Blackletter
Blackletter (sometimes black letter), also known as Gothic script, Gothic minuscule, or Textura, was a script used throughout Western Europe from approximately 1150 until the 17th century. It continued to be commonly used for the Danish, Norweg ...
References
*
{{DEFAULTSORT:Typographical Conventions In Mathematical Formulae
*
Typography