I believe that the integral symbol with a dash through it is equivalent to an integral divided by the interval...

Couldn't find any confirmation online, though.

Even if it isn't, it is a nice notation.

Maybe someone could confirm