TeX source:
W(a)=0