The Heaviside function