Gauss' symbol

Introduction

[x] is the greatest integer that is less than or equal to x. For example,
[3.141592]=3
[2.71828]=2
[-0.802]=-1
[-3.4567]=-4