representation Heaviside(t)