TeX source:

[ x ] ≤ | x |