[[x]]={x-⌊x⌋-12,x∉ℤ,0,x∈ℤ.