The inverse tangent integral is a special function, defined by:
Equivalently, it can be defined by a power series, or in terms of the dilogarithm, a closely related special function.