Fuente TeX:

n \leq x \leq n+0.5 \Rightarrow [x] = x-n