Recently I have encountered weird notation that I don't see into.
When I have some infinite sum $$\sum_{n=1}^{\infty}f(n)$$ I would rewrite it without thinking to the integral form like this $$\int_{n=1}^{\infty}f(\left \lfloor {x}\right \rfloor)dx$$ where $\left \lfloor {x}\right \rfloor$ is a floor function.
The thing I saw and have difficulty to interpret looked like this $$\int_{n=1}^{\infty}f(x)d\left \lfloor {x}\right \rfloor$$
Thanks for hints and explanations or possibly links to places where I could learn about this.