substitution notation

The following are two commonly used substitution notations for calculating definite integrals with the antiderivative:

• ${\int }_a^{b}f(x)𝑑x={\left[F(x)\right]}_a^b$

• ${\int }_a^{b}f(x)𝑑x={F(x)|}_a^b$

Here, the right hand the difference  $F(b)-F(a)$.  For example, one has

$${\int }_1^2\frac{1}{x}𝑑x={\left[\ln x\right]}_1^2.$$

In Finland (only?) the corresponding notation is

$${\int }_1^2\frac{1}{x}𝑑x=\underset{1}{\overset{2}{/}}\ln x$$

which may be somewhat better;  it is read in same manner as the definite integral notation, “sijoitus 1:stä 2:een ln x” (literally: “substitution from 1 to 2  ln x”).  The position of the substitution symbol in front of the function to be substituted is perhaps more natural in the sense that the symbol has an operator (as e.g. the summing symbol).  One of benefits of the Finnish notation is that one can comfortably clarify in it which is the variable to be substituted (as in the sum notation), e.g. in the case

$${\int }_0^{\pi }\sin txdt=-\frac{1}{x}\underset{t=0}{\overset{\pi }{/}}\cos tx.$$

The notation

$$\underset{a}{\overset{b}{/}}F(x):=F(b)-F(a)$$

is extended also to such cases as

$$\underset{a}{\overset{\mathrm{\infty }}{/}}F(x):=\underset{b\to \mathrm{\infty }}{lim}\underset{a}{\overset{b}{/}}F(x).$$

Formulae

• $\underset{a}{\overset{b}{/}}F(x)=-\underset{b}{\overset{a}{/}}F(x)$

• $\underset{a}{\overset{b}{/}}kF(x)=k\underset{a}{\overset{b}{/}}F(x)$

• $\underset{a}{\overset{b}{/}}[F_1(x)+\mathrm{\dots }+F_n(x)]=\underset{a}{\overset{b}{/}}{F}_1(x)+\mathrm{\dots }+\underset{a}{\overset{b}{/}}{F}_n(x)$

• ${\int }_a^{b}u(x)v^{\prime }(x)𝑑x=\underset{a}{\overset{b}{/}}u(x)v(x)-{\int }_a^b{u}^{\prime }(x)v(x)𝑑x$

Note.  There are in Finland also some other “national”, unofficial mathematical notations used in universities, e.g.

$$-\ni -$$

which means ‘such that’.  For example, one may write

$$\forall x\in \mathbb{Z}\exists y\in \mathbb{Z}-\ni -x+y=0.$$