Glossary of mathematical symbols

A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula or a mathematical expression. More formally, a mathematical symbol is any grapheme used in mathematical formulas and expressions. As formulas and expressions are entirely constituted with symbols of various types, many symbols are needed for expressing all mathematics.

The most basic symbols are the decimal digits ( $0$ , $1$ , $2$ , $3$ , $4$ , $5$ , $6$ , $7$ , $8$ , $9$ ), and the letters of the Latin alphabet. The decimal digits are used for representing numbers through the Hindu–Arabic numeral system. Historically, upper-case letters were used for representing points in geometry, and lower-case letters were used for variables and constants. Letters are used for representing many other types of mathematical object. As the number of these types has increased, the Greek alphabet and some Hebrew letters have also come to be used. For more symbols, other typefaces are also used, mainly boldface Template:Tmath, Template:Tmath, Template:Tmath, Template:Tmath, ..., script typeface Template:Tmath, Template:Tmath, ... (the lower-case script face is rarely used because of the possible confusion with the standard face), German fraktur Template:Tmath, Template:Tmath, Template:Tmath, Template:Tmath, ..., and blackboard bold Template:Tmath, Template:Tmath, Template:Tmath, Template:Tmath, Template:Tmath, Template:Tmath, Template:Tmath (other letters are rarely used in this face, or their use is unconventional). It is commonplace to use alphabets, fonts and typefaces to group symbols by type (for example, boldface is often used for vectors and uppercase for matrices).

The use of specific Latin and Greek letters as symbols for denoting mathematical objects is not described in this article. For such uses, see Variable § Conventional variable names and List of mathematical constants. However, some symbols that are described here have the same shape as the letter from which they are derived, such as $\textstyle \prod {}$ and Template:Tmath.

These letters alone are not sufficient for the needs of mathematicians, and many other symbols are used. Some take their origin in punctuation marks and diacritics traditionally used in typography; others by deforming letter forms, as in the cases of $\in$ and Template:Tmath. Others, such as $+$ and $=$ , were specially designed for mathematics.

Layout of this article

Normally, entries of a glossary are structured by topics and sorted alphabetically. This is not possible here, as there is no natural order on symbols, and many symbols are used in different parts of mathematics with different meanings, often completely unrelated. Therefore, some arbitrary choices had to be made, which are summarized below.
The article is split into sections that are sorted by an increasing level of technicality. That is, the first sections contain the symbols that are encountered in most mathematical texts, and that are supposed to be known even by beginners. On the other hand, the last sections contain symbols that are specific to some area of mathematics and are ignored outside these areas. However, the long section on brackets has been placed near to the end, although most of its entries are elementary: this makes it easier to search for a symbol entry by scrolling.
Most symbols have multiple meanings that are generally distinguished either by the area of mathematics where they are used or by their syntax, that is, by their position inside a formula and the nature of the other parts of the formula that are close to them.
As readers may not be aware of the area of mathematics to which the symbol that they are looking for is related, the different meanings of a symbol are grouped in the section corresponding to their most common meaning.
When the meaning depends on the syntax, a symbol may have different entries depending on the syntax. For summarizing the syntax in the entry name, the symbol $\Box$ is used for representing the neighboring parts of a formula that contains the symbol. See § Brackets for examples of use.
Most symbols have two printed versions. They can be displayed as Unicode characters, or in LaTeX format. With the Unicode version, using search engines and copy-pasting are easier. On the other hand, the LaTeX rendering is often much better (more aesthetic), and is generally considered a standard in mathematics. Therefore, in this article, the Unicode version of the symbols is used (when possible) for labelling their entry, and the LaTeX version is used in their description. So, for finding how to type a symbol in LaTeX, it suffices to look at the source of the article.
For most symbols, the entry name is the corresponding Unicode symbol. So, for searching the entry of a symbol, it suffices to type or copy the Unicode symbol into the search textbox. Similarly, when possible, the entry name of a symbol is also an anchor, which allows linking easily from another Wikipedia article. When an entry name contains special characters such as $[$ , $]$ , and $|$ , there is also an anchor, but one has to look at the article source to know it.
Finally, when there is an article on the symbol itself (not its mathematical meaning), it is linked to in the entry name.

Arithmetic operators

$+$ (plus sign): 1. Denotes addition and is read as plus; for example, $3 + 2$ .; 2. Denotes that a number is positive and is read as plus. Redundant, but sometimes used for emphasizing that a number is positive, specially when other numbers in the context are or may be negative; for example, $+2$ .; 3. Sometimes used instead of $\sqcup$ for a disjoint union of sets.
$-$ (minus sign): 1. Denotes subtraction and is read as minus; for example, $3 - 2$ .; 2. Denotes the additive inverse and is read as minus, the negative of, or the opposite of; for example, $-2$ .; 3. Also used in place of $\$ for denoting the set-theoretic complement; see \ in § Set theory.
$\times$ (multiplication sign): 1. In elementary arithmetic, denotes multiplication, and is read as times; for example, $3 \times 2$ .; 2. In geometry and linear algebra, denotes the cross product.; 3. In set theory and category theory, denotes the Cartesian product and the direct product. See also × in § Set theory.
$\cdot$ (dot): 1. Denotes multiplication and is read as times; for example, $3 \cdot 2$ .; 2. In geometry and linear algebra, denotes the dot product.; 3. Placeholder used for replacing an indeterminate element. For example, saying "the absolute value is denoted by $| \cdot |$ " is perhaps clearer than saying that it is denoted as $| |$ .
$\pm$ (plus–minus sign): 1. Denotes alternatives of a plus sign or a minus sign.; 2. Denotes the range of values that a measured quantity may have; for example, $10 \pm 2$ denotes an unknown value that lies between $8$ and $12$ .
$\mp$ (minus–plus sign): Used paired with $\pm$ , denotes the opposite sign; that is, $+$ if $\pm$ is $-$ , and $-$ if $\pm$ is $+$ .
$\div$ (division sign): Although widely used for denoting division in Anglophone countries, it is no longer in common use in mathematics and its use is "not recommended".^[1] In some countries, it can indicate subtraction.
$:$ (colon): 1. Denotes the ratio of two quantities.; 2. In some countries, may denote division.; 3. In set-builder notation, it is used as a separator meaning "such that"; see ${□ : □}$ .
$/$ (slash): 1. Denotes division and is read as divided by or over. Often replaced by a horizontal bar. For example, $3 / 2$ or Template:Tmath.; 2. Denotes a quotient structure. For example, quotient set, quotient group, quotient category, etc.; 3. In number theory and field theory, $F/E$ denotes a field extension, where $F$ is an extension field of the field $E$ .; 4. In probability theory, denotes a conditional probability. For example, $P(A/B)$ denotes the probability of $A$ , given that $B$ occurs. Usually denoted Template:Tmath: see " $|$ ".
$\sqrt$ (square-root symbol): Denotes square root and is read as the square root of. Rarely used in modern mathematics without a horizontal bar delimiting the width of its argument (see the next item). For example, $\sqrt2$ .
$\sqrt$ (radical symbol): 1. Denotes square root and is read as the square root of. For example, Template:Tmath.; 2. With an integer greater than 2 as a left superscript, denotes an $n$ th root. For example, ${\sqrt[{7}]{3}}$ denotes the 7th root of 3.

Equality, equivalence and similarity

$=$ (equals sign): 1. Denotes equality.; 2. Used for naming a mathematical object in a sentence like "let Template:Tmath ", where $E$ is an expression. See also $≝$ , $≜$ or $:=$ .
$.mw-parser-output .nobold{font-weight:normal} ≝, ≜, :=$: Any of these is sometimes used for naming a mathematical object. Thus, Template:Tmath, $x\mathrel {\stackrel {\scriptscriptstyle \mathrm {def} }{=}} E$ , $x\mathrel {:=} E$ and $E\mathrel {=:} x$ are each an abbreviation of the phrase "let Template:Tmath", where Template:Tmath is an expression and Template:Tmath is a variable.
$\neq$ (not-equal sign): Denotes inequality and means "not equal".
$\approx$ (approximately equals sign): The most common symbol for denoting approximate equality. For example, Template:Tmath.
$~$ (tilde): 1. Between two numbers, either it is used instead of $\approx$ to mean "approximatively equal", or it means "has the same order of magnitude as".; 2. Denotes the asymptotic equivalence of two functions or sequences.; 3. Often used for denoting other types of similarity, for example, matrix similarity or similarity of geometric shapes.; 4. Standard notation for an equivalence relation.; 5. In probability and statistics, may specify the probability distribution of a random variable. For example, $X\sim N(0,1)$ means that the distribution of the random variable $X$ is standard normal.^[2]; 6. Notation for proportionality. See also $\propto$ for a less ambiguous symbol.
$\equiv$ (triple bar): 1. Denotes an identity; that is, an equality that is true whichever values are given to the variables occurring in it.; 2. In number theory, and more specifically in modular arithmetic, denotes the congruence modulo an integer.; 3. May denote a logical equivalence.
$≅$: 1. May denote an isomorphism between two mathematical structures, and is read as "is isomorphic to".; 2. In geometry, may denote the congruence of two geometric shapes (that is the equality up to a displacement), and is read "is congruent to".

Comparison

$<$ (less-than sign): 1. Strict inequality between two numbers; means and is read as "less than".; 2. Commonly used for denoting any strict order.; 3. Between two groups, may mean that the first one is a proper subgroup of the second one.
$>$ (greater-than sign): 1. Strict inequality between two numbers; means and is read as "greater than".; 2. Commonly used for denoting any strict order.; 3. Between two groups, may mean that the second one is a proper subgroup of the first one.
$\leq$: 1. Means "less than or equal to". That is, whatever $A$ and $B$ are, $A \leq B$ is equivalent to $A < B or A = B$ .; 2. Between two groups, may mean that the first one is a subgroup of the second one.
$\geq$: 1. Means "greater than or equal to". That is, whatever $A$ and $B$ are, $A \geq B$ is equivalent to $A > B or A = B$ .; 2. Between two groups, may mean that the second one is a subgroup of the first one.
$\ll {\text{ and }}\gg$: 1. Means "much less than" and "much greater than". Generally, much is not formally defined, but means that the lesser quantity can be neglected with respect to the other. This is generally the case when the lesser quantity is smaller than the other by one or several orders of magnitude.; 2. In measure theory, $\mu \ll \nu$ means that the measure $\mu$ is absolutely continuous with respect to the measure Template:Tmath.
$\leqq {\text{ and }}\geqq$: Rarely used symbols, generally synonyms of $\leq$ and $\geq$ , respectively.
$\prec {\text{ and }}\succ$: Often used for denoting an order or, more generally, a preorder, when it would be confusing or not convenient to use $<$ and $>$ .

Set theory

$\emptyset$ (null sign): Denotes the empty set, and is more often written Template:Tmath. Using set-builder notation, it may also be denoted [[#bb|Template:Tmath]].
$#$ (number sign): 1. Number of elements: $\#{}S$ may denote the cardinality of the set $S$ . An alternative notation is Template:Tmath; see [[#!□!|Template:Tmath]].; 2. Primorial: $n{}\#$ denotes the product of the prime numbers that are not greater than $n$ .; 3. In topology, $M\#N$ denotes the connected sum of two manifolds or two knots.
$\in$: Denotes set membership, and is read "is in", "belongs to", or "is a member of". That is, $x\in S$ means that $x$ is an element of the set $S$ .
$\notin$: Means "is not in". That is, $x\notin S$ means Template:Tmath.
$\subset$: Denotes set inclusion. However two slightly different definitions are common.; 1. $A\subset B$ may mean that $A$ is a subset of $B$ , and is possibly equal to $B$ ; that is, every element of $A$ belongs to $B$ ; expressed as a formula, Template:Tmath.; 2. $A\subset B$ may mean that $A$ is a proper subset of $B$ , that is the two sets are different, and every element of $A$ belongs to $B$ ; expressed as a formula, Template:Tmath.
$\subseteq$: $A\subseteq B$ means that $A$ is a subset of $B$ . Used for emphasizing that equality is possible, or when Template:Gli means that $A$ is a proper subset of Template:Tmath.
$⊊$: $A\subsetneq B$ means that $A$ is a proper subset of $B$ . Used for emphasizing that $A\neq B$ , or when Template:Gli does not imply that $A$ is a proper subset of Template:Tmath.
$\supset, \supseteq, ⊋$: Denote the converse relation of Template:Gli, Template:Gli, and Template:Gli respectively. For example, $B\supset A$ is equivalent to Template:Tmath.
$\cup$: Denotes set-theoretic union, that is, $A\cup B$ is the set formed by the elements of $A$ and $B$ together. That is, $A\cup B=\{x\mid (x\in A)\lor (x\in B)\}$ .
$\cap$: Denotes set-theoretic intersection, that is, $A\cap B$ is the set formed by the elements of both $A$ and $B$ . That is, $A\cap B=\{x\mid (x\in A)\land (x\in B)\}$ .
$∖$ (backslash): Set difference; that is, $A\setminus B$ is the set formed by the elements of $A$ that are not in $B$ . Sometimes, $A-B$ is used instead; see − in § Arithmetic operators.
$⊖$ or $\triangle$: Symmetric difference: that is, $A\ominus B$ or $\ A\operatorname {\triangle } B\$ is the set formed by the elements that belong to exactly one of the two sets $A$ and $B$ .
$\complement$: 1. With a subscript, denotes a set complement: that is, if Template:Tmath, then Template:Tmath.; 2. Without a subscript, denotes the absolute complement; that is, Template:Tmath, where $U$ is a set which contains all possible sets currently under consideration, implicitly defined by the context. This set $U$ is sometimes called the universe of discourse.; 3. Used as a superscript on a set symbol, denotes the complement of that set; that is, $\ A^{\complement }=U\ \backslash \ A\ ,$ where $U$ is the universal set, as in definition 2.
$\times$ (multiplication sign): See also × in § Arithmetic operators.; 1. Denotes the Cartesian product of two sets. That is, $A\times B$ is the set formed by all pairs of an element of $A$ and an element of $B$ .; 2. Denotes the direct product of two mathematical structures of the same type, which is the Cartesian product of the underlying sets, equipped with a structure of the same type. For example, direct product of rings, direct product of topological spaces.; 3. In category theory, denotes the direct product (often called simply product) of two objects, which is a generalization of the preceding concepts of product.
$\sqcup$: Denotes the disjoint union. That is, if $A$ and $B$ are sets then $A\sqcup B=\left(A\times \{i_{A}\}\right)\cup \left(B\times \{i_{B}\}\right)$ is a set of pairs where $i A$ and $i B$ are distinct indices discriminating the members of $A$ and $B$ in Template:Tmath.
$\bigsqcup {\text{ or }}\coprod$: 1. Used for the disjoint union of a family of sets, such as in ${\textstyle \bigsqcup _{i\in I}A_{i}.}$; 2. Denotes the coproduct of mathematical structures or of objects in a category.
$よ$ (Hiragana Yo) or $h$: Denotes the Yoneda embedding in category theory.

Basic logic

Several logical symbols are widely used in all mathematics, and are listed here. For symbols that are used only in mathematical logic, or are rarely used, see List of logic symbols.

$\neg$ (not sign): Denotes negation, and is read as "not". If $E$ is a logical predicate, $\neg E$ is the predicate that evaluates to true if and only if $E$ evaluates to false. For clarity, it is often replaced by the word "not".
$\lor$ (descending wedge): 1. Denotes logical disjunction, and is read as "or". If $E$ and $F$ are logical predicates, $E\lor F$ is true if either $E$ , $F$ , or both are true. It is often replaced by the word "or".; 2. In lattice theory, denotes the join or least upper bound operation.; 3. In topology, denotes the wedge sum of two pointed spaces.
$\land$ (wedge): 1. Denotes logical conjunction, and is read as "and". If $E$ and $F$ are logical predicates, $E\land F$ is true if $E$ and $F$ are both true. It is often replaced by the word "and" or the symbol " $&$ ".; 2. In lattice theory, denotes the meet or greatest lower bound operation.; 3. In multilinear algebra, geometry, and multivariable calculus, denotes the exterior product (a.k.a. wedge product).
$⊻$: Denotes exclusive disjunction. If $E$ and $F$ are logical predicates, $E\veebar F$ denotes the exclusive or. Notations $E XOR F$ and $E\oplus F$ are also commonly used; see ⊕.
$\forall$ (turned A): 1. Denotes universal quantification and is read as "for all". If $E$ is a logical predicate, $\forall x\;E$ means that $E$ is true for all possible values of the variable $x$ .; 2. Often used in plain text as an abbreviation of "for all" or "for every".
$\exists$: 1. Denotes existential quantification and is read "there exists ... such that". If $E$ is a logical predicate, $\exists x\;E$ means that there exists at least one value of $x$ for which $E$ is true.; 2. Often used in plain text as an abbreviation of "there exists".
$\exists!$: Denotes uniqueness quantification, that is, $\exists !x\;P$ means "there exists exactly one $x$ such that $P$ (is true)". In other words, $\exists !x\;P(x)$ is an abbreviation of $\exists x\,(P(x)\wedge \neg \exists y\,(P(y)\wedge y\neq x))$ .
$\Rightarrow$: 1. Denotes material conditional, and is read as "implies". If $P$ and $Q$ are logical predicates, $P \Rightarrow Q$ means that if $P$ is true, then $Q$ is also true. Thus, $P \Rightarrow Q$ is logically equivalent with Template:Tmath.; 2. Often used in plain text as an abbreviation of "implies".
$\Leftrightarrow$: 1. Denotes logical equivalence, and is read "is equivalent to" or "if and only if". If $P$ and $Q$ are logical predicates, $P\Leftrightarrow Q$ is thus an abbreviation of Template:Tmath, or of Template:Tmath.; 2. Often used in plain text as an abbreviation of "if and only if".
$⊤$ (tee): 1. $\top$ denotes the logical predicate always true.; 2. Denotes also the truth value true.; 3. Sometimes denotes the top element of a bounded lattice (previous meanings are specific examples).
$⊥$ (up tack): 1. $\bot$ denotes the logical predicate always false.; 2. Denotes also the truth value false.; 3. Sometimes denotes the bottom element of a bounded lattice (previous meanings are specific examples).; 4. In cryptography often denotes an error in place of a regular value.; 5. For the use as a superscript, see $□ ⊥$ .; 6. For the similar symbol, see $\perp$ .

Blackboard bold

The blackboard bold typeface is widely used for denoting the basic number systems. These systems are often also denoted by the corresponding uppercase bold letter. A clear advantage of blackboard bold is that these symbols cannot be confused with anything else. This allows using them in any area of mathematics, without having to recall their definition. For example, if one encounters $\mathbb {R}$ in combinatorics, one should immediately know that this denotes the real numbers, although combinatorics does not study the real numbers (but it uses them for many proofs).

$\mathbb {N}$: Denotes the set of natural numbers $\{1,2,\ldots \},$ or sometimes $\{0,1,2,\ldots \}.$ When the distinction is important and readers might assume either definition, $\mathbb {N} _{1}$ and $\mathbb {N} _{0}$ are used, respectively, to denote one of them unambiguously. Notation $\mathbf {N}$ is also commonly used.
$\mathbb {Z}$: Denotes the set of integers $\{\ldots ,-2,-1,0,1,2,\ldots \}.$ It is often denoted also by $\mathbf {Z} .$
$\mathbb {Z} _{p}$: 1. Denotes the set of $p$ -adic integers, where $p$ is a prime number.; 2. Sometimes, $\mathbb {Z} _{n}$ denotes the integers modulo $n$ , where $n$ is an integer greater than 0. The notation $\mathbb {Z} /n\mathbb {Z}$ is also used, and is less ambiguous.
$\mathbb {Q}$: Denotes the set of rational numbers (fractions of two integers). It is often denoted also by $\mathbf {Q} .$
$\mathbb {Q} _{p}$: Denotes the set of $p$ -adic numbers, where $p$ is a prime number.
$\mathbb {R}$: Denotes the set of real numbers. It is often denoted also by $\mathbf {R} .$
$\mathbb {C}$: Denotes the set of complex numbers. It is often denoted also by $\mathbf {C} .$
$\mathbb {H}$: Denotes the set of quaternions. It is often denoted also by $\mathbf {H} .$
$\mathbb {F} _{q}$: Denotes the finite field with $q$ elements, where $q$ is a prime power (including prime numbers). It is denoted also by $GF(q)$ .
$\mathbb {O}$: Denotes the set of octonions. It is often denoted also by $\mathbf {O} .$
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb S}: Denotes the set of sedenions. It is often denoted also by $\mathbf {S} .$
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb T}: Denotes the set of trigintaduonions. It is often denoted also by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf T.}

Calculus

$□'$: Lagrange's notation for the derivative: If $f$ is a function of a single variable, Template:Tmath, read as "f prime", is the derivative of $f$ with respect to this variable. The second derivative is the derivative of Template:Tmath, and is denoted Template:Tmath.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dot \Box}: Newton's notation, most commonly used for the derivative with respect to time. If $x$ is a variable depending on time, then Template:Tmath, read as " $x$ dot", is its derivative with respect to time. In particular, if $x$ is the position of a moving point, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dot x} is its velocity.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ddot \Box}: Newton's notation, for the second derivative: If $x$ is the position of a moving point, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ddot x} is its acceleration.
$.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}d□/d□$ , $d □ / d □$: Leibniz's notation for the derivative, which is used in several slightly different ways.; 1. If $y$ is a variable that depends on $x$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{\mathrm{d}y}{\mathrm{d}x}} , read as "d $y$ over d $x$ " (commonly shortened to "d $y$ d $x$ "), is the derivative of $y$ with respect to $x$ .; 2. If $f$ is a function of a single variable $x$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{ \mathrm{d} f }{ \mathrm{d}x }} is the derivative of $f$ , and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{ \mathrm{d} f }{ \mathrm{d}x }(a)} is the value of the derivative at $a$ . Sometimes Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{ \mathrm{d} }{ \mathrm{d}x }} is used as a symbol for the derivative operator, which can be prepended to a function: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{ \mathrm{d} }{ \mathrm{d}x } f(x)} .; 3. Total derivative: If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x_1, \ldots, x_n)} is a function of several variables that depend on $x$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{\mathrm{d}f}{\mathrm{d}x}} is the derivative of $f$ considered as a function of $x$ . That is, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\ \frac{\mathrm{d}f}{\mathrm{d}x} = \sum_{i=1}^n \frac{ \partial f }{ \partial x_i }\ \frac{\mathrm{d}x_i}{\mathrm{d}x} ~.}
$\partial□ / \partial□$: Partial derivative: If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x_1, \ldots, x_n)} is a function of several variables, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\frac{\partial f}{\partial x_i}} is the derivative with respect to the $i$ th variable considered as an independent variable, the other variables being considered as constants.
$𝛿□ / 𝛿□$: Functional derivative: If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(y_1, \ldots, y_n)} is a functional of several functions, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{\delta f}{\delta y_{i}}} is the functional derivative with respect to the $n$ th function considered as an independent variable, the other functions being considered constant.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline\Box}: 1. Complex conjugate: If $z$ is a complex number, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{z}} is its complex conjugate. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{a+bi} = a - b\ i ~.}; 2. Topological closure: If $S$ is a subset of a topological space $T$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{S}} is its topological closure, that is, the smallest closed subset of $T$ that contains $S$ .; 3. Algebraic closure: If $F$ is a field, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{F}} is its algebraic closure, that is, the smallest algebraically closed field that contains $F$ . For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline\mathbb Q} is the field of all algebraic numbers.; 4. Mean value: If $x$ is a variable that takes its values in some sequence of numbers $S$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{x}} may denote the mean of the elements of $S$ .; 5. Negation: Sometimes used to denote negation of the entire expression under the bar, particularly when dealing with Boolean algebra. For example, one of De Morgan's laws says that Template:Tmath.
$\to$: 1. $A \to B$ denotes a function with domain $A$ and codomain $B$ . For naming such a function, one writes $f : A \to B$ , which is read as "function Template:Itco maps any from set Template:Itco into set $Template:Itco$ ", or Template:Itco maps $A$ to $B$ " .; 2. More generally, $A \to B$ denotes a homomorphism or a morphism from $A$ to $B$ .; 3. May denote a logical implication. For the material implication that is widely used in mathematics reasoning, it is nowadays generally replaced by ⇒. In mathematical logic, it remains used for denoting implication, but its exact meaning depends on the specific theory that is studied.; 4. Over a variable name, means that the variable represents a vector, in a context where ordinary variables represent scalars; for example, Template:Tmath. Boldface (Template:Tmath), blackboard bold ( $𝕧$ ), or a circumflex (Template:Tmath) are often used for the same purpose.; 5. In Euclidean geometry and more generally in affine geometry, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overrightarrow{PQ}} denotes the vector defined by the two points $P$ and $Q$ , which can be identified with the translation that maps $P$ to $Q$ . The same vector can be denoted also Template:Tmath; see Affine space.
$\mapsto$: "Maps to": Used for defining a function without having to name it. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\mapsto x^2} is the square function.
$○$ ^[3]: 1. Function composition: If $f$ and $g$ are two functions, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g\circ f} is the function such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (g\circ f)(x) = g(f(x))} for every value of $x$ .; 2. Hadamard product of matrices: If $A$ and $B$ are two matrices of the same size, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\circ B} is the matrix such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A\circ B)_{i,j} = (A)_{i,j}(B)_{i,j}} . Possibly, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \circ} is also used instead of $⊙$ for the Hadamard product of power series.^{[citation needed]}
$\partial$: 1. Boundary of a topological subspace: If $S$ is a subspace of a topological space, then its boundary, denoted Template:Tmath, is the set difference between the closure and the interior of $S$ .; 2. Partial derivative: see $\partial□ / \partial□$ .
$\int$: 1. Without a subscript, denotes an antiderivative. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\int x^2 \operatorname{d} x = \frac{\; x^3}{ 3 } + C .}; 2. With a subscript and a superscript, or expressions placed below and above it, denotes a definite integral. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \int_a^b x^2 \operatorname{d} x = \frac{\;b^3 - a^3}{ 3 } ~.}; 3. With a subscript that denotes a curve, denotes a line integral. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\ \int_C f\ =\ \int_a^b\ f\!\bigl(\ \!r\!\left(t\right)\ \!\!\bigr)\ r'\!\left(t\right) \operatorname{d} t\ ,} if $r$ is a parametrization of the curve $C$ , from point $t = a$ to $t = b$ .
$\oint$: Often used, typically in physics, instead of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \int} for line integrals over a closed curve.
$\iint, ∯$: Similar to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\int} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\oint} for surface integrals.
$∭, ∰$: Similar to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\int} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\oint} for volume integrals.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\nabla}} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{\nabla}}: 1. Nabla, the gradient, vector derivative operator Template:Tmath, also called del or grad,; 2. A connection, such as the covariant derivative.
$\nabla 2$ or $\nabla\cdot\nabla$: Laplace operator or Laplacian: Template:Tmath. The forms Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \nabla^2} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol\nabla \cdot \boldsymbol\nabla} represents the dot product of the gradient (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\nabla}} or Template:Tmath) with itself. Also notated $Δ$ (next item).
$Δ$: 1. Another notation for the Laplacian (see above).; 2. Operator of finite difference.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\partial}} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \partial_\mu}: Quad, the 4-vector gradient operator or four-gradient, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \left( \frac{\ \partial }{\ \partial t\ }, \frac{\ \partial }{\ \partial x\ }, \frac{\ \partial }{\ \partial y\ }, \frac{\ \partial }{\ \partial z\ }\right) ~.}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Box} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {\Box}^2}: Denotes the d'Alembertian or squared four-gradient, which is a generalization of the Laplacian to four-dimensional spacetime. In flat spacetime with Euclidean coordinates, this may mean either Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle - \frac {\partial^2}{\partial t^2} + \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2}} or Template:Tmath; the sign convention must be specified. In curved spacetime (or flat spacetime with non-Euclidean coordinates), the definition is more complicated. Also called box or quabla.

Linear and multilinear algebra

$\sum$ (capital-sigma notation): 1. Denotes the sum of a finite number of terms, which are determined by subscripts and superscripts (which can also be placed below and above), such as in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{i=1}^n i^2} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{0<i<j<n} j-i} .; 2. Denotes a series and, if the series is convergent, the sum of the series. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{i=0}^\infty \frac {x^i}{i!}=e^x} .
$\prod$ (capital-pi notation): 1. Denotes the product of a finite number of terms, which are determined by subscripts and superscripts (which can also be placed below and above), such as in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \prod_{i=1}^n i^2} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \prod_{0<i<j<n} j-i} .; 2. Denotes an infinite product. For example, the Euler product formula for the Riemann zeta function is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\zeta(z) = \prod_{n=1}^{\infty} \frac{1}{1 - p_n^{-z}}} .; 3. Also used for the Cartesian product of any number of sets and the direct product of any number of mathematical structures.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \oplus}: 1. Internal direct sum: if $E$ and $F$ are abelian subgroups of an abelian group $V$ , notation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V=E\oplus F} means that $V$ is the direct sum of $E$ and $F$ ; that is, every element of $V$ can be written in a unique way as the sum of an element of $E$ and an element of $F$ . This applies also when $E$ and $F$ are linear subspaces or submodules of the vector space or module $V$ .; 2. Direct sum: if $E$ and $F$ are two abelian groups, vector spaces, or modules, then their direct sum, denoted $E\oplus F$ is an abelian group, vector space, or module (respectively) equipped with two monomorphisms $f:E\to E\oplus F$ and $g:F\to E\oplus F$ such that $E\oplus F$ is the internal direct sum of $f(E)$ and $g(F)$ . This definition makes sense because this direct sum is unique up to a unique isomorphism.; 3. Exclusive or: if $E$ and $F$ are two Boolean variables or predicates, $E\oplus F$ may denote the exclusive or. Notations $E XOR F$ and $E\veebar F$ are also commonly used; see ⊻.
$\otimes$: 1. Denotes the tensor product of abelian groups, vector spaces, modules, or other mathematical structures, such as in Template:Tmath, or Template:Tmath.; 2. Denotes the tensor product of elements: if $x\in E$ and Template:Tmath, then Template:Tmath.
$□$ ^T: Transpose: if $A$ is a matrix, $A^{\mathsf {T}}$ denotes the transpose of $A$ , that is, the matrix obtained by exchanging rows and columns of $A$ . Notation $^{\mathsf {T}}\!\!A$ is also used.
$□ ⊥$: 1. Orthogonal complement: If $W$ is a linear subspace of an inner product space $V$ , then $W ⊥$ denotes its orthogonal complement, that is, the linear space of the elements of $V$ whose inner products with the elements of $W$ are all zero.; 2. Orthogonal subspace in the dual space: If $W$ is a linear subspace (or a submodule) of a vector space (or of a module) $V$ , then $W ⊥$ may denote the orthogonal subspace of $W$ , that is, the set of all linear forms that map $W$ to zero.; 3. For inline uses of the symbol, see ⊥.

Advanced group theory

$⊲$ $⊴$: Normal subgroup of and normal subgroup of including equality, respectively. If $N$ and $G$ are groups such that $N$ is a normal subgroup of (including equality) $G$ , this is written Template:Tmath.
$⋉$ $⋊$: 1. Inner semidirect product: if $N$ and $H$ are subgroups of a group $G$ , such that $N$ is a normal subgroup of $G$ , then $G=N\rtimes H$ and $G=H\ltimes N$ mean that $G$ is the semidirect product of $N$ and $H$ , that is, that every element of $G$ can be uniquely decomposed as the product of an element of $N$ and an element of $H$ . (Unlike for the direct product of groups, the element of $H$ may change if the order of the factors is changed.); 2. Outer semidirect product: if $N$ and $H$ are two groups, and $\varphi$ is a group homomorphism from $N$ to the automorphism group of $H$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N\rtimes_\varphi H = H\ltimes_\varphi N} denotes a group $G$ , unique up to a group isomorphism, which is a semidirect product of $N$ and $H$ , with the commutation of elements of $N$ and $H$ defined by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varphi} .
$≀$: In group theory, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G\wr H} denotes the wreath product of the groups $G$ and $H$ . It is also denoted as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G\operatorname{wr} H} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G\operatorname{Wr} H} ; see Wreath product § Notation and conventions for several notation variants.

Infinite numbers

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \infty} (infinity symbol): 1. The symbol is read as infinity. As an upper bound of a summation, an infinite product, an integral, etc., means that the computation is unlimited. Similarly, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\infty} in a lower bound means that the computation is not limited toward negative values.; 2. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\infty} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle +\infty} are the generalized numbers that are added to the real line to form the extended real line.; 3. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \infty} is the generalized number that is added to the real line to form the projectively extended real line.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathfrak c} (fraktur 𝔠): Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathfrak c} denotes the cardinality of the continuum, which is the cardinality of the set of real numbers.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph} (aleph): With an ordinal $i$ as a subscript, denotes the $i$ th aleph number, that is the $i$ th infinite cardinal. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_0} is the smallest infinite cardinal, that is, the cardinal of the natural numbers.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beth} (bet): With an ordinal $i$ as a subscript, denotes the $i$ th beth number. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beth_0} is the cardinal of the natural numbers, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beth_1} is the cardinal of the continuum.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega} (omega): 1. Denotes the first limit ordinal. It is also denoted Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega_0} and can be identified with the ordered set of the natural numbers.; 2. With an ordinal $i$ as a subscript, denotes the $i$ th limit ordinal that has a cardinality greater than that of all preceding ordinals.; 3. In computer science, denotes the (unknown) greatest lower bound for the exponent of the computational complexity of matrix multiplication.; 4. Written as a function of another function, it is used for comparing the asymptotic growth of two functions. See Big O notation § Related asymptotic notations.; 5. In number theory, may denote the prime omega function. That is, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega(n)} is the number of distinct prime factors of the integer $n$ .

Brackets

Many types of bracket are used in mathematics. Their meanings depend not only on their shapes, but also on the nature and the arrangement of what is delimited by them, and sometimes what appears between or before them. For this reason, in the entry titles, the symbol $□$ is used as a placeholder for schematizing the syntax that underlies the meaning.

Parentheses

$(□)$: Used in an expression for specifying that the sub-expression between the parentheses has to be considered as a single entity; typically used for specifying the order of operations.
$□(□)$ $□(□, □)$ $□(□, ..., □)$: 1. Functional notation: if the first Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Box} is the name (symbol) of a function, denotes the value of the function applied to the expression between the parentheses; for example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin(x+y)} . In the case of a multivariate function, the parentheses contain several expressions separated by commas, such as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x,y)} .; 2. May also denote a product, such as in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a(b+c)} . When the confusion is possible, the context must distinguish which symbols denote functions, and which ones denote variables.
$(□, □)$: 1. Denotes an ordered pair of mathematical objects, for example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\pi, 0)} .; 2. If $a$ and $b$ are real numbers, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\infty} , or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle +\infty} , and $a < b$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a,b)} denotes the open interval delimited by $a$ and $b$ . See $]□, □[$ for an alternative notation.; 3. If $a$ and $b$ are integers, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a,b)} may denote the greatest common divisor of $a$ and $b$ . Notation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gcd(a,b)} is often used instead.
$(□, □, □)$: If $x, y, z$ are vectors in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb R^3} , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x,y,z)} may denote the scalar triple product.^{[citation needed]} See also [□,□,□] in § Square brackets.
$(□, ..., □)$: Denotes a tuple. If there are $n$ objects separated by commas, it is an $n$ -tuple.
$(□, □, ...)$ $(□, ..., □, ...)$: Denotes an infinite sequence.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{pmatrix} \Box & \cdots & \Box \\ \vdots & \ddots & \vdots \\ \Box & \cdots & \Box \end{pmatrix}}: Denotes a matrix. Often denoted with square brackets.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \binom{\Box}{\Box}}: Denotes a binomial coefficient: Given two nonnegative integers, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \binom{n}{k}} is read as " $n$ choose $k$ ", and is defined as the integer Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{n(n-1)\cdots(n-k+1)}{1\cdot 2\cdots k}=\frac{n!}{k!\,(n-k)!}} (if $k = 0$ , its value is conventionally $1$ ). Using the left-hand-side expression, it denotes a polynomial in $n$ , and is thus defined and used for any real or complex value of $n$ .
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\frac{\Box}{\Box}\right)}: Legendre symbol: If $p$ is an odd prime number and $a$ is an integer, the value of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\frac{a}{p}\right)} is $1$ if $a$ is a quadratic residue modulo $p$ ; it is $-1$ if $a$ is a quadratic non-residue modulo $p$ ; it is $0$ if $p$ divides $a$ . The same notation is used for the Jacobi symbol and Kronecker symbol, which are generalizations where $p$ is respectively any odd positive integer, or any integer.

Square brackets

$[□]$: 1. Sometimes used as a synonym of $(□)$ for avoiding nested parentheses.; 2. Equivalence class: given an equivalence relation, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [x]} often denotes the equivalence class of the element $x$ .; 3. Integral part: if $x$ is a real number, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [x]} often denotes the integral part or truncation of $x$ , that is, the integer obtained by removing all digits after the decimal mark. This notation has also been used for other variants of floor and ceiling functions.; 4. Iverson bracket: if $P$ is a predicate, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [P]} may denote the Iverson bracket, that is the function that takes the value $1$ for the values of the free variables in $P$ for which $P$ is true, and takes the value $0$ otherwise. For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [x=y]} is the Kronecker delta function, which equals one if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=y} , and zero otherwise.; 5. In combinatorics or computer science, sometimes Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [n]} with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\in\mathbb{N}} denotes the set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1,2,3,\ldots,n\}} of positive integers up to $n$ , with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [0]=\empty} .
$□[□]$: Image of a subset: if $S$ is a subset of the domain of the function $f$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f[S]} is sometimes used for denoting the image of $S$ . When no confusion is possible, notation $f (S)$ is commonly used.
$[□, □]$: 1. Closed interval: if $a$ and $b$ are real numbers such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a\le b} , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [a,b]} denotes the closed interval defined by them.; 2. Commutator (group theory): if $a$ and $b$ belong to a group, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [a,b]=a^{-1}b^{-1}ab} .; 3. Commutator (ring theory): if $a$ and $b$ belong to a ring, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [a,b]=ab-ba} .; 4. Denotes the Lie bracket, the operation of a Lie algebra.
$[□ : □]$: 1. Degree of a field extension: if $F$ is an extension of a field $E$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [F:E]} denotes the degree of the field extension Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F/E} . For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\mathbb C:\mathbb R]=2} .; 2. Index of a subgroup: if $H$ is a subgroup of a group $E$ , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [G:H]} denotes the index of $H$ in $G$ . The notation $| G:H |$ is also used.
$[□, □, □]$: If $x, y, z$ are vectors in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb R^3} , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [x,y,z]} may denote the scalar triple product.^[4] See also (□,□,□) in § Parentheses.
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{bmatrix} \Box & \cdots & \Box \\ \vdots & \ddots & \vdots \\ \Box & \cdots & \Box \end{bmatrix}}: Denotes a matrix. Often denoted with parentheses.

Braces

${ }$: Set-builder notation for the empty set, also denoted Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \emptyset} or ∅.
$Template:Brace$: 1. Sometimes used as a synonym of $(□)$ and $[□]$ for avoiding nested parentheses.; 2. Set-builder notation for a singleton set: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{x\}} denotes the set that has $x$ as a single element.
$Template:Brace$: Set-builder notation: denotes the set whose elements are listed between the braces, separated by commas.
$Template:Brace$ $Template:Brace$: Set-builder notation: if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(x)} is a predicate depending on a variable $x$ , then both Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{x : P(x)\}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{x\mid P(x)\}} denote the set formed by the values of $x$ for which Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(x)} is true.
Single brace: 1. Used for emphasizing that several equations have to be considered as simultaneous equations; for example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \begin{cases}2x+y=1\\3x-y=1\end{cases}} .; 2. Piecewise definition; for example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle |x|=\begin{cases}x&\text{if }x\ge 0\\-x&\text{if }x< 0\end{cases}} .; 3. Used for grouped annotation of elements in a formula; for example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \underbrace{ (a,b,\ldots,z) }_{26}} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \overbrace{ 1+2+\cdots+100 }^{=5050}} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \left.\begin{bmatrix}A\\B\end{bmatrix}\right\} m+n\text{ rows}}

Other brackets

$| □ |$

1. Absolute value: if

x

is a real or complex number, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |x|} denotes its absolute value.

2. Number of elements: If

S

is a set, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |S|} may denote its cardinality, that is, its number of elements. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \#S} is also often used, see

#

.

3. Length of a line segment: If

P

and

Q

are two points in a Euclidean space, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |PQ|} often denotes the length of the line segment that they define, which is the distance from

P

to

Q

, and is often denoted Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(P,Q)} .

4. For a similar-looking operator, see

|

.

$| □:□ |$

Index of a subgroup: if

H

is a subgroup of a group

G

, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |G:H|} denotes the index of

H

in

G

. The notation

[G:H]

is also used.

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle\begin{vmatrix} \Box & \cdots & \Box \\ \vdots & \ddots & \vdots \\ \Box & \cdots & \Box \end{vmatrix}}

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{vmatrix} x_{1,1} & \cdots & x_{1,n} \\ \vdots & \ddots & \vdots \\ x_{n,1} & \cdots & x_{n,n} \end{vmatrix}} denotes the determinant of the square matrix Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{bmatrix} x_{1,1} & \cdots & x_{1,n} \\ \vdots & \ddots & \vdots \\ x_{n,1} & \cdots & x_{n,n} \end{bmatrix}} .

$||□||$

1. Denotes the norm of an element of a normed vector space.

2. For the similar-looking operator named parallel, see

∥

.

$⌊□⌋$

Floor function: if

x

is a real number, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lfloor x\rfloor} is the greatest integer that is not greater than

x

.

$⌈□⌉$

Ceiling function: if

x

is a real number, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lceil x\rceil} is the lowest integer that is not lesser than

x

.

$⌊□⌉$

Nearest integer function: if

x

is a real number, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lfloor x\rceil} is the integer that is the closest to

x

.

$]□, □[$

Open interval: If a and b are real numbers, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\infty} , or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle +\infty} , and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a<b} , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ]a,b[} denotes the open interval delimited by a and b. See

(□, □)

for an alternative notation.

$(□, □]$ $]□, □]$

Both notations are used for a left-open interval.

$[□, □)$ $[□, □[$

Both notations are used for a right-open interval.

$⟨□⟩$

1. Generated object: if

S

is a set of elements in an algebraic structure, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle S \rangle} denotes often the object generated by

S

. If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S=\{s_1,\ldots, s_n\}} , one writes Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle s_1,\ldots, s_n \rangle} (that is, braces are omitted). In particular, this may denote

the linear span in a vector space (also often denoted $Span(S)$ ),
the generated subgroup in a group,
the generated ideal in a ring,
the generated submodule in a module.

2. Often used, mainly in physics, for denoting an expected value. In probability theory, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E(X)} is generally used instead of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle S \rangle} .

$⟨□, □⟩$ $⟨□ | □⟩$

Both Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle x, y\rangle} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle x\mid y\rangle} are commonly used for denoting the inner product in an inner product space.

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle\Box| \text{ and } |\Box\rangle}

Bra–ket notation or Dirac notation: if

x

and

y

are elements of an inner product space, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |x\rangle} is the vector defined by

x

, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle y|} is the covector defined by

y

; their inner product is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle y\mid x\rangle} .

Symbols that do not belong to formulas

In this section, the symbols that are listed are used as some sorts of punctuation marks in mathematical reasoning, or as abbreviations of natural language phrases. They are generally not used inside a formula. Some were used in classical logic for indicating the logical dependence between sentences written in plain language. Except for the first two, they are normally not used in printed mathematical texts since, for readability, it is generally recommended to have at least one word between two formulas. However, they are still used on a black board for indicating relationships between formulas.

$■ , □$: Used for marking the end of a proof and separating it from the current text. The initialism Q.E.D. or QED (Template:Langx, "as was to be shown") is often used for the same purpose, either in its upper-case form or in lower case.
$☡$: Bourbaki dangerous bend symbol: Sometimes used in the margin to forewarn readers against serious errors, where they risk falling, or to mark a passage that is tricky on a first reading because of an especially subtle argument.
$∴$: Abbreviation of "therefore". Placed between two assertions, it means that the first one implies the second one. For example: "All humans are mortal, and Socrates is a human. ∴ Socrates is mortal."
$∵$: Abbreviation of "because" or "since". Placed between two assertions, it means that the first one is implied by the second one. For example: " $11$ is prime ∵ it has no positive integer factors other than itself and one."
$∋$: 1. Abbreviation of "such that". For example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\ni x>3} is normally printed " $x$ such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x>3} ".; 2. Sometimes used for reversing the operands of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \in} ; that is, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S\ni x} has the same meaning as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in S} . See ∈ in § Set theory.
$\propto$: Abbreviation of "is proportional to".

Miscellaneous

$!$: 1. Factorial: if $n$ is a positive integer, $n!$ is the product of the first $n$ positive integers, and is read as "n factorial".; 2. Double factorial: if $n$ is a positive integer, $n!!$ is the product of all positive integers up to $n$ with the same parity as $n$ ; that is, if $n$ is odd, the product of all odd integers from 1 up to and including $n$ , and if $n$ is even, the product of all even integers, up to and including $n$ . It is read as "the double factorial of $n$ ".; 3. Subfactorial: if $n$ is a positive integer, $! n$ is the number of derangements of a set of $n$ elements, and is read as "the subfactorial of n".
$*$: Many different uses in mathematics; see Asterisk § Mathematics.
°: In elementary geometry, the degree symbol is used to indicate that the preceding number measures degrees of arc.
$|$: 1. Divisibility: if $m$ and $n$ are two integers, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle m\mid n} means that $m$ divides $n$ evenly.; 2. In set-builder notation, it is used as a separator meaning "such that"; see ${□ | □}$ .; 3. Restriction of a function: if $f$ is a function, and $S$ is a subset of its domain, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f|_S} is the function with $S$ as a domain that equals $f$ on $S$ .; 4. Conditional probability: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(X\mid E)} denotes the probability of $X$ given that the event $E$ occurs. Also denoted Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(X/ E)} ; see "/".; 5. For several uses as brackets (in pairs or with $⟨$ and $⟩$ ) see § Other brackets.
$∤$: Non-divisibility: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\nmid m} means that $n$ is not a divisor of $m$ .
$∥$: 1. Denotes parallelism in elementary geometry: if $PQ$ and $RS$ are two lines, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle PQ\parallel RS} means that they are parallel.; 2. Parallel – the harmonic sum – an arithmetical operation used in electrical engineering for summing two impedances wired in parallel (e.g. parallel resistors) or two admittances wired in series (e.g. series capacitors): Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x \parallel y = \frac{ 1 }{\ \frac{\ 1\ }{ x } +\frac{\ 1\ }{ y }\ } = \frac{x\ y}{\ x + y\ } ~.}; 3. Used in pairs as brackets, denotes a norm; see $||□||$ .; 4. Concatenation: Typically used in computer science, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\mathbin{\vert\vert}y} is said to represent the value resulting from appending the digits of $y$ to the end of $x$ .; 5. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {\displaystyle D_{\text{KL}}(P\parallel Q)}} , denotes a statistical distance or measure of how one probability distribution P is different from a second, reference probability distribution Q.
$∦$: Sometimes used for denoting that two lines are not parallel; for example, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle PQ\not\parallel RS} .
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \perp}: 1. Denotes perpendicularity and orthogonality. For example, if $A, B, C$ are three points in a Euclidean space, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle AB\perp AC} means that the line segments $AB$ and $AC$ are perpendicular, and form a right angle.; 2. For the similar symbol, see Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bot} .
$⊙$: Hadamard product of power series: if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle S=\sum_{i=0}^\infty s_ix^i} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle T=\sum_{i=0}^\infty t_ix^i} , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle S\odot T=\sum_{i=0}^\infty s_i t_i x^i} . Possibly, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \odot} is also used instead of $○$ for the Hadamard product of matrices.^{[citation needed]}
Ш: The Tate–Shafarevich group of an abelian variety.

↑ ISO 80000-2, Section 9 "Operations", 2-9.6
↑ Tamhane, Ajit C.; Dunlop, Dorothy D. (2000). Statistics and Data Analysis: From Elementary to Intermediate. Prentice Hall. ISBN 978-0-13-744426-7.
↑ The LaTeX equivalent to both Unicode symbols ∘ and ○ is \circ. The Unicode symbol that has the same size as \circ depends on the browser and its implementation. In some cases ∘ is so small that it can be confused with an interpoint, and ○ looks similar as \circ. In other cases, ○ is too large for denoting a binary operation, and it is ∘ that looks like \circ. As LaTeX is commonly considered as the standard for mathematical typography, and it does not distinguish these two Unicode symbols, they are considered here as having the same mathematical meaning.
↑ Rutherford, D. E. (1965). Vector Methods. University Mathematical Texts. Oliver and Boyd Ltd., Edinburgh.

External links

Some Unicode charts of mathematical operators and symbols:

Some Unicode cross-references:

Short list of commonly used LaTeX symbols and Comprehensive LaTeX Symbol List
MathML Characters – sorts out Unicode, HTML and MathML/TeX names on one page
Unicode values and MathML names
Unicode values and Postscript names from the source code for Ghostscript

Template:Areas of mathematics Template:Mathematical symbols notation language

[ISO-1] ISO 80000-2, Section 9 "Operations", 2-9.6

[2] Tamhane, Ajit C.; Dunlop, Dorothy D. (2000). Statistics and Data Analysis: From Elementary to Intermediate. Prentice Hall. ISBN 978-0-13-744426-7.

[3] The LaTeX equivalent to both Unicode symbols ∘ and ○ is \circ. The Unicode symbol that has the same size as \circ depends on the browser and its implementation. In some cases ∘ is so small that it can be confused with an interpoint, and ○ looks similar as \circ. In other cases, ○ is too large for denoting a binary operation, and it is ∘ that looks like \circ. As LaTeX is commonly considered as the standard for mathematical typography, and it does not distinguish these two Unicode symbols, they are considered here as having the same mathematical meaning.

[4] Rutherford, D. E. (1965). Vector Methods. University Mathematical Texts. Oliver and Boyd Ltd., Edinburgh.

[1]

[2]

[3]

[4]

Glossary of mathematical symbols

Contents

Layout of this article

Arithmetic operators

Equality, equivalence and similarity

Comparison

Set theory

Basic logic

Blackboard bold

Calculus

Linear and multilinear algebra

Advanced group theory

Infinite numbers

Brackets

Parentheses

Square brackets

Braces

Other brackets

Symbols that do not belong to formulas

Miscellaneous

See also

Related articles

Related lists

Unicode symbols

References

External links

Navigation menu

Glossary of mathematical symbols

Layout of this article

Arithmetic operators

Equality, equivalence and similarity

Comparison

Set theory

Basic logic

Blackboard bold

Calculus

Linear and multilinear algebra

Advanced group theory

Infinite numbers

Brackets

Parentheses

Square brackets

Braces

Other brackets

Symbols that do not belong to formulas

Miscellaneous

See also

Related articles

Related lists

Unicode symbols

References

External links

Navigation menu

Search