TeX source:
f(0)=0, f(1)=1