Weird integral symbol : $\mathrel{\int\!\!\!\!\!-}$

$\begingroup$

What does this integral sign mean ($\int$ with line going through the middle)?

$$ \mathrel{\int\!\!\!\!\!\!-} $$

(It had something to do with the Beckenbach-Radó Theorem)

$\endgroup$ 2

2 Answers

$\begingroup$

One common usage of this symbol is average: The integral divided by the measure of the domain of integration.

$\endgroup$ 2 $\begingroup$

Also used for the Cauchy Principal Value of an integral.

$\endgroup$