That is one way to denote the floor function, more commonly given as $$\lfloor x \rfloor$$, which means the largest integer not greater than $x$. Its value at $x$ is called the integral part or integer part of $x$. The fllor function may be defined by the set equation:
$$\lfloor x \rfloor=\max\{m\in\mathbb{Z}\,|\,m\le x\}$$