Consider a function \(F\) and its derivative \(f\) (i.e. \(f = F').\) Since \(f\) is the derivative of \(F,\) let’s refer to \(F\) as an antiderivative of \(f.\) Since the operation of “taking the derivative” is referred to as differentiation, let’s refer to “taking an antiderivative” as antidifferentiation.
A function’s derivative is unique, but it’s antiderivative is not. A function has infinitely many antiderivatives, all of them differing by some additive constant \(C.\) To account for this, while the operation of differentiation is denoted either \(F' = f\) or \(\frac{\mathrm{d}}{\mathrm{d}x}F = f,\) let’s denote antidifferentiation this way: \(\int f \,\mathrm{d}x = F + C.\) The tall “S” symbol \(\int\) on the left is called an integral sign, the little \(\mathrm{d}x\) is called the differential, the \(+C\) is called the constant of integration, and altogether \(\int f \,\mathrm{d}x\) is referred to as the indefinite integral of \(f\) with respect to \(x.\)
Formulas
Like differentiation, antidifferentiation is a linear operation: constants factor out and it splits across addition/subtraction.