TeX source:

[x] \operatorname{INT}(x)