The Haar scaling function is defined as
ϕ(x)={10x∈[0,1),x∈/[0,1).
The Haar wavelet is the function
ψ(x)=ϕ(2x)−ϕ(2x−1)