∀x∈ℝ: ⌈x⌉ = −⌊−x⌋