Mathematical notation

The use of many symbols is the basis of mathematical notation. They play a similar role as words in natural languages. They may play different roles in mathematical notation similarly as verbs, adjective and nouns play different roles in a sentence.

Letters are typically used for naming—in mathematical jargon, one says representing—mathematical objects. The Latin and Greek alphabets are used extensively, but a few letters of other alphabets are also used sporadically, such as the Hebrew ⁠${\displaystyle \aleph }$ ⁠, Cyrillic Ш, and Hiragana よ. Uppercase and lowercase letters are considered as different symbols. For Latin alphabet, different typefaces also provide different symbols. For example, ${\displaystyle r,R,\mathbb {R} ,{\mathcal {R}},{\mathfrak {r}},}$  and ${\displaystyle {\mathfrak {R}}}$  could theoretically appear in the same mathematical text with six different meanings. Normally, roman upright typeface is not used for symbols, except for symbols representing a standard function, such as the symbol "${\displaystyle \sin }$ " of the sine function.^[2]

In order to have more symbols, and for allowing related mathematical objects to be represented by related symbols, diacritics, subscripts and superscripts are often used. For example, ${\displaystyle {\hat {f'_{1}}}}$  may denote the Fourier transform of the derivative of a function called ${\displaystyle f_{1}.}$ 

Symbols are not only used for naming mathematical objects. They can be used for operations ${\displaystyle (+,-,/,\oplus ,\ldots ),}$  for relations ${\displaystyle (=,<,\leq ,\sim ,\equiv ,\ldots ),}$  for logical connectives ${\displaystyle (\implies ,\land ,\lor ,\ldots ),}$  for quantifiers ${\displaystyle (\forall ,\exists ),}$  and for other purposes.

Some symbols are similar to Latin or Greek letters, some are obtained by deforming letters, some are traditional typographic symbols, but many have been specially designed for mathematics.

An expression is a finite combination of symbols that is well-formed according to rules that depend on the context. In general, an expression denotes or names a mathematical object, and plays therefore in the language of mathematics the role of a noun phrase in the natural language.

An expression contains often some operators, and may therefore be evaluated by the action of the operators in it. For example, ${\displaystyle 3+2}$  is an expression in which the operator ${\displaystyle +}$  can be evaluated for giving the result ${\displaystyle 5.}$  So, ${\displaystyle 3+2}$  and ${\displaystyle 5}$  are two different expressions that represent the same number. This is the meaning of the equality ${\displaystyle 3+2=5.}$ 

A more complicated example is given by the expression${\textstyle \int _{a}^{b}xdx}$  that can be evaluated to ${\textstyle {\frac {b^{2}}{2}}-{\frac {a^{2}}{2}}.}$  Although the resulting expression contains the operators of division, subtraction and exponentiation, it cannot be evaluated further because a and b denote unspecified numbers.

It is believed that a notation to represent numbers was first developed at least 50,000 years ago.^[3] Early mathematical ideas such as finger counting^[4] have also been represented by collections of rocks, sticks, bone, clay, stone, wood carvings, and knotted ropes. The tally stick is a way of counting dating back to the Upper Paleolithic. Perhaps the oldest known mathematical texts are those of ancient Sumer. The Census Quipu of the Andes and the Ishango Bone from Africa both used the tally mark method of accounting for numerical concepts.

The concept of zero and the introduction of a notation for it are important developments in early mathematics, which predates for centuries the concept of zero as a number. It was used as a placeholder by the Babylonians and Greek Egyptians, and then as an integer by the Mayans, Indians and Arabs (see the history of zero).

Until the 16th century, mathematics was essentially rhetorical, in the sense that everything but explicit numbers was expressed in words. However, some authors such as Diophantus used some symbols as abbreviations.

The first systematic use of formulas, and, in particular the use of symbols (variables) for unspecified numbers is generally attributed to François Viète (16th century). However, he used different symbols than those that are now standard.

Later, René Descartes (17th century) introduced the modern notation for variables and equations; in particular, the use of ${\displaystyle x,y,z}$  for unknown quantities and ${\displaystyle a,b,c}$  for known ones (constants). He introduced also the notation i and the term "imaginary" for the imaginary unit.

The 18th and 19th centuries saw the standardization of mathematical notation as used today. Leonhard Euler was responsible for many of the notations currently in use: the functional notation ${\displaystyle f(x),}$  e for the base of the natural logarithm, ${\textstyle \sum }$  for summation, etc.^[5] He also popularized the use of π for the Archimedes constant (proposed by William Jones, based on an earlier notation of William Oughtred).^[6]

Since then many new notations have been introduced, often specific to a particular area of mathematics. Some notations are named after their inventors, such as Leibniz's notation, Legendre symbol, Einstein's summation convention, etc.

General typesetting systems are generally not well suited for mathematical notation. One of the reasons is that, in mathematical notation, the symbols are often arranged in two-dimensional figures, such as in:

${\displaystyle \sum _{n=0}^{\infty }{\frac {{\begin{bmatrix}a&b\\c&d\end{bmatrix}}^{n}}{n!}}.}$ 

TeX is a mathematically oriented typesetting system that was created in 1978 by Donald Knuth. It is widely used in mathematics, through its extension called LaTeX, and is a de facto standard. (The above expression is written in LaTeX.)

More recently, another approach for mathematical typesetting is provided by MathML. However, it is not well supported in web browsers, which is its primary target.

The international standard ISO 80000-2 (previously, ISO 31-11) specifies symbols for use in mathematical equations. The standard requires use of italic fonts for variables (e.g., E=mc²) and roman (upright) fonts for mathematical constants (e.g., e or π).

Modern Arabic mathematical notation is based mostly on the Arabic alphabet and is used widely in the Arab world, especially in pre-tertiary education. (Western notation uses Arabic numerals, but the Arabic notation also replaces Latin letters and related symbols with Arabic script.)

In addition to Arabic notation, mathematics also makes use of Greek letters to denote a wide variety of mathematical objects and variables. On some occasions, certain Hebrew letters are also used (such as in the context of infinite cardinals).

Some mathematical notations are mostly diagrammatic, and so are almost entirely script independent. Examples are Penrose graphical notation and Coxeter–Dynkin diagrams.

Braille-based mathematical notations used by blind people include Nemeth Braille and GS8 Braille.

• Abuse of notation
• Begriffsschrift
• Glossary of mathematical symbols
  • Bourbaki dangerous bend symbol
• History of mathematical notation
• ISO 31-11
• ISO 80000-2
• Knuth's up-arrow notation
• Mathematical Alphanumeric Symbols
• Mathematical formula
• Notation in probability and statistics
• Language of mathematics
• Scientific notation
• Semasiography
• Table of mathematical symbols
• Vector notation
• Modern Arabic mathematical notation

• Florian Cajori, A History of Mathematical Notations (1929), 2 volumes. ISBN 0-486-67766-4
• Mazur, Joseph (2014), Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers. Princeton, New Jersey: Princeton University Press. ISBN 978-0-691-15463-3

 

Wikimedia Commons has media related to Mathematical notation.

• Earliest Uses of Various Mathematical Symbols
• Mathematical ASCII Notation how to type math notation in any text editor.
• Mathematics as a Language at Cut-the-Knot
• Stephen Wolfram: Mathematical Notation: Past and Future. October 2000. Transcript of a keynote address presented at MathML and Math on the Web: MathML International Conference.