Mathematical symbols

2020 Mathematics Subject Classification: Primary: 03-XX Secondary: 01Axx [MSN][ZBL]

Conventional signs used for the written notation of mathematical notions and reasoning. For example, the notion "the square root of the number equal to the ratio of the length of the circumference of a circle to its diameter" is denoted briefly by $\sqrt{\pi}$, while the statement "the ratio of the length of the circumference of the circle to its diameter is greater than three and ten seventy-firsts and less than three and one seventh" is written as \[ 3 + \frac{10}{71} < \pi < 3 + \frac{1}{7}\, . \]

History

The development of mathematical notation was intimately bound up with the general evolution of mathematical concepts and methods.

The origins

The first mathematical symbols were signs for the depiction of numbers — ciphers, the appearance of which apparently preceded the introduction of written language. The most ancient systems of numbering (see Numbers, representations of) — the Babylonian and the Egyptian — date back to around 3500 B.C..

Ancient Greece

The first mathematical symbols for arbitrary quantities appeared much later (from the 5th-4th centuries B.C.) in Greece. Arbitrary quantities (areas, volumes, angles) were represented by the lengths of lines and the product of two such quantities was represented by a rectangle with sides representing the respective factors. In Euclid's Elements (3th century B.C.), quantities are denoted by two letters, the initial and final letters of the corresponding segment, and sometimes by one letter. Dating from Archimedes (287–213 B.C.), the latter device became standard. This mode of notation could potentially have developed into a calculus of letters. In the mathematics of classical Antiquity, however, no operations were carried out on letters and such a letter calculus did not materialize.

Post-Hellenistic era

The rudiments of letter notation and calculus appeared in the post-Hellenistic era, thanks to the liberation of algebra from its geometric setting. Diophantus (probably 3th century A.D.) denoted the unknown $x$ and its powers by the following symbols: \[ \begin{array}{llllll} x\quad & x^2\quad & x^3\quad & x^4\quad & x^5\quad & x^6\\ \varsigma' &\delta^{\tilde{\upsilon}} &\kappa^{\tilde{\upsilon}} & \delta \delta^{\tilde{\upsilon}}&\delta \kappa^{\tilde{\upsilon}}& \kappa \kappa^{\tilde{\upsilon}} \end{array} \] ($\delta^\tilde{\upsilon}$ — from the Greek term $\delta\upsilon'\nu\alpha\mu\iota\varsigma$, denoting the square of the unknown; $\kappa^{\tilde{\upsilon}}$ — from the Greek $\kappa\upsilon'\beta\omicron\varsigma$, cube). Diophantus wrote coefficients to the right of the unknown or its powers, e.g. $3 x^5$ was denoted by $\delta \kappa^{\tilde{\upsilon}} \bar{\gamma}$ (where $\bar{\gamma} = 3$). Terms to be added together were simply juxtaposed, while subtraction required the special symbol $\wedge$; equality was denoted by the letter $\iota$ (from the Greek $\iota\sigma\omicron\varsigma$, equal). For example, Diophantus would have written the equation \[ (x^3+8x)-(5x^2+1) = x \] as follows: \[ \kappa^{\tilde{\upsilon}}\;\bar{\alpha}\;\varsigma'\; \bar{\eta}\; \bigwedge\; \delta^{\tilde{\upsilon}}\; \bar{\epsilon}\; \mu^0\; \bar{\alpha}\; \iota\; \varsigma'\;\bar{\alpha} \] (here $\bar{\alpha} =1$, $\bar{\eta}=8$, $\bar{\epsilon}=5$ and $\mu^0\bar{\alpha}$ means that the unit $\bar{\alpha}$ is not to be multiplied by a power of the unknown).

Indians

Several centuries later, the Indians, who had developed a numerical algebra, introduced various mathematical symbols for several unknowns (abbreviations for the names of colours, which denoted the unknowns), the square, the square root, and the subtrahend. Thus, the equation \[ 3 x^2 + 10x - 8 = x^2 +1 \] was written in Brahmaputra's notation (7th century) as follows:

ya va $3$ ya $10$ ru $8$

ya va $1$ ya $0$ ru $1$

(ya — from yavat — tavat, unknown; va — from varga, squared number; ru — from rupa, a rupee coin — free term; a dot above a number denotes subtraction).

Renaissance

The creation of modern algebraic symbols dates to the 14th–15th centuries; it was conditioned by achievements in practical arithmetic and the study of equations. Symbols for various operations and for powers of an unknown quantity appeared spontaneously in different countries. Many decades — sometimes centuries — elapsed until a specific symbol became accepted as convenient for calculations. Thus, at the end of the 15th century N. Chuquet and L. Pacioli (Fra Luce Pacioli) were using the symbols p and m (from the Latin plus and minus) for addition and subtraction, respectively, while German mathematicians introduced the modern (probably an abbreviation for the Latin et) and . As late as the 17th century, one could count about ten different symbols for multiplication:

The history of the radical sign is instructive. Following Leonardo Pisano (Leonardo da Pisa) (1220), and up to the 17th century, the symbol (from the Latin radix root) was widely employed for "square root" . Chuquet denoted square, cube, etc., roots by , etc. In a German manuscript of ca. 1480 the square root is denoted by a dot before the number, the cube root by three dots, and the fourth root by two dots. By 1525 one can already find the symbol (Ch. Rudolff, sometimes written as K. Rudolff). For higher-order roots, some scholars simply repeated this symbol; others wrote a suitable letter after the symbol (an abbreviation of the name of the exponent), and still others inscribed a suitable figure in a circle or between parentheses or square brackets in order to distinguish it from the number under the radical sign (the horizontal line over the radicand was introduced by R. Descartes, 1637). Only at the beginning of the 18th century did it become customary to write the exponent above the opening of the radical sign; the first appearance of this convention, though, was much earlier (A. Girard, 1629). Thus, the evolution of the radical sign extended over almost 500 years.

Mathematical symbols for an unknown quantity and its powers were highly diverse. During the 16th century and early 17th century, more than ten rival notations were current for just one square of an unknown; among these were ce (from census — the Latin term serving as translation for the Greek term ), Q (for quadratum), , , A , , , aa, , etc. G. Cardano (1545) would have written the equation

as follows:

(cubus cube, positio unknown, æquantur equals).

The same equation, written by M. Stifel (1544), would have been:

by R. Bombelli (1572):

( cube of the unknown, unknown, eguale à equals);

by F. Viète (1591):

(C cubus cube, N numerus number);

and by T. Harriot (1631):

The 16th century and early 17th century saw the first appearance and use of the equality sign and brackets; square brackets (Bombelli, 1550), parentheses (N. Tartaglia, 1556), and curly brackets (Viète, 1593).

A significant step forward in the development of mathematical notation was Viète's introduction (1591) of capital letters of the Latin alphabet to denote both arbitrary constant quantities and unknowns; consonants, such as B, D were reserved for constants, and vowels A, E for unknowns. This made it possible for the first time to write down algebraic equations with arbitrary coefficients and to operate with them. For example, Viète's equation

(cubus cube, planus plane, i.e. B is a two-dimensional constant; solidus solid (three-dimensional); the dimensionality was indicated to ensure homogeneity of the different terms) stands for the following equation in our notation:

Viète, then, was the creator of algebraic formulas. Descartes (1637) gave algebraic notation its modern appearance, denoting unknowns by the last letters of the alphabet , and arbitrary given quantities by the first letters . Descartes is also to be credited with the modern notation for powers. As his notation offered considerable advantages over its predecessors, it rapidly gained universal recognition.

The further development of mathematical symbols was intimately connected with the invention of infinitesimal calculus, though the basis had already been prepared to a considerable extent in algebra. I. Newton, in his method of fluxions and fluents (1666 and later), introduced symbols for successive fluxions (derivatives) of a quantity : , and the symbol for an infinitesimal increment. Somewhat earlier J. Wallis (1655) had proposed the symbol for infinity. The creator of the modern notation for the differential and integral calculus was G. Leibniz. In particular, it was he who invented the modern differentials and the integral

It is worth emphasizing the essential advantage of Leibniz' integral symbol over Newton's proposal, namely the incorporation of the . Leibniz's notation , while hinting at the actual process of constructing an integral sum, also includes explicit indication of the integrand and the variable of integration. As a result, the notation is also suited for writing formulas for transformation of variables and is readily used for multiple and line integrals. Newton's notation does not directly offer such possibilities. Similar remarks hold concerning Leibniz's differential signs as against Newton's signs for fluxions and infinitesimal increments.

L. Euler deserves the credit for a considerable proportion of modern mathematical notation. He introduced the first generally accepted symbol for a variable operation, the function symbol (from the Latin functio function; 1734). Somewhat earlier, the symbol had been used by J. Bernoulli (1718). After Euler, the symbols for many individual functions (including the trigonometric functions) became standard. Euler was also the first to use the notations (the base of the natural logarithms, 1736), (probably from the Greek circumference, 1736), and the imaginary unit (from the French "imaginaire" , 1777, published in 1794), which soon gained universal acceptance.

During the 19th century, the role of notation became even more important; as new fields of mathematics were opened up, scholars endeavored to standardize the basic symbols. Some widely employed modern symbols appeared only at that time: the absolute value (K. Weierstrass, 1841), the vector (A. Cauchy, 1853), the determinant

(A. Cayley, 1841), and others. Many of the new theories of the 19th century, such as the tensor calculus, could not have been developed without suitable notation. A characteristic phenomenon in this respect was the increase in the relative proportion of symbols denoting relations, such as the congruence (C.F. Gauss, 1801), membership , isomorphism , equivalence , etc. Symbols for variable relations appeared with the advent of mathematical logic, which makes particularly extensive use of mathematical symbols.

From the point of view of mathematical logic, mathematical symbols can be classified under the following main headings: A) symbols for objects, B) symbols for operations, C) symbols for relations. For example, the symbols 1, 2, 3, 4 denote numbers, i.e., the objects studied in arithmetic. The symbol for the addition operation, , standing on its own, does not denote any object; it takes an objective content only when the numbers to be added are specified: denotes the number . The symbol (greater) denotes a relation between numbers. A relation symbol assumes a definite content only when the objects that can stand in that specific relation are specified. One further, fourth, group of symbols may be added: D) auxiliary symbols, which determine the order in which the basic symbols are to be combined. A good example of this type of symbol is provided by parentheses, which indicate the order in which arithmetical operations are to be carried out.

The symbols of each of the three main groups A), B), C) are of two kinds: 1) individual symbols for definite objects, operations and relations; and 2) general symbols for "variable" or "unknown" objects, operations and relations. Examples of symbols of the first kind are the following (see also the table in this article):

) The notation for the natural numbers 1, 2, 3, 4, 5, 6, 7, 8, 9; the transcendental numbers and ; the imaginary unit ; etc.

) The signs for the arithmetical operations, ; root extraction , , differentiation , the Laplace operator

This subgroup also contains the individual symbols , , , etc.

) Equality and inequality signs, , the symbols denoting parallel () and perpendicular (), etc.

Symbols of the second kind denote arbitrary objects, operations and relations of a certain class, or objects, operations and relations resulting from some previously mentioned conditions. For example, in the written identity

the letters and denote arbitrary numbers; when one is studying the functional dependence

the letters and denote arbitrary numbers standing in the given relation; in the solution of the equation

denotes any number satisfying the equation (by solving the equation, one knows that there are only two numbers satisfying the condition: and ).

From a logical point of view it is quite legitimate to call all symbols of this kind variable symbols, as is customary in mathematical logic (the "domain of variation" of the variable may prove to consist of a single object; it may even be "empty" — e.g. in the case of equations with no solutions). Further examples of this kind of signs are:

) Symbols for points, straight lines, planes, and more complex geometrical figures, denoted in geometry by letters.

) Notations such as for functions and notations in operator calculus, when one letter may be used to denote, say, an arbitrary operator of the form

Symbols for "variable relations" are less common; they find application only in mathematical logic and in comparatively abstract, primarily axiomatic, branches of mathematics.

The origin of some mathematical symbols.

<tbody> </tbody> Symbol Meaning Introduced by Year infinity J. Wallis 1655 base of the natural logarithms L. Euler 1736 ratio of the length of a circumference to the diameter H. Jones, L. Euler 1706, 1736 square root of L. Euler 1777 (publ. 1794) , , unit vectors W. Hamilton 1853 angle of parallelism N.I. Lobachevskii 1835

<tbody> </tbody> Symbol Meaning Introduced by Year , , unknown or variable quantities R. Descartes 1637 vector A.L. Cauchy 1853

<tbody> </tbody> Symbol Meaning Introduced by Year addition German mathematicians end of the 15th century multiplication W. Oughtred 1631 multiplication G. Leibniz 1698 division G. Leibniz 1684 powers R. Descartes 1637 roots I. Newton 1676 K. Rudolff 1525 A. Girard 1629 Log logarithm J. Kepler 1624 log logarithm B. Cavalieri 1632 sin sine L. Euler 1748 cos cosine L. Euler 1748 tg tangent L. Euler 1753 tan tangent L. Euler 1753 arc sin arcsine J. Lagrange 1772 Sh hyperbolic sine V. Ricatti 1757 Ch hyperbolic cosine V. Ricatti 1757 differentials G. Leibniz 1675 (publ. 1684) integral G. Leibniz 1675 (publ. 1684) derivative G. Leibniz 1675 derivative J. Lagrange 1770–1779 difference, increment L. Euler 1755 partial derivative A. Legendre 1786 definite integral J. Fourier 1819–1820 sum L. Euler 1755 product C.F. Gauss 1812 ! factorial Ch. Kramp 1808 absolute value K. Weierstrass 1841 lim limit S. l'Huillier 1786 limit W. Hamilton 1853 limit various mathematicians beginning of the 20th century zeta-function B. Riemann 1857 gamma-function A. Legendre 1808 beta-function J. Binet 1839 delta, Laplace operator R. Murphy 1833 nabla, Hamilton operator W. Hamilton 1853

<tbody> </tbody> Symbol Meaning Introduced by Year function J. Bernoulli 1718 function L. Euler 1734

<tbody> </tbody> Symbol Meaning Introduced by Year equality R. Recorde 1557 greater than T. Harriot 1631 smaller than T. Harriot 1631 congruence C.F. Gauss 1801 parallel W. Oughtred 1677 (posthumously publ.) perpendicular P. Hérigone 1634

References

[1]	F. Cajori, "A history of mathematical notations" , 1–2 , Open Court (1952–1974)

Comments

In fact, the notation was borrowed by Euler from H. Jones.

References

[a1]	M. Kline, "Mathematical thought from ancient to modern times" , Oxford Univ. Press (1972)
[a2]	C.B. Boyer, "A history of mathematics" , Wiley (1968)