def ˆ(x:=fun 0=>0)n:=ÿ €