User blog comment:Wythagoras/Dollar function part 2/@comment-5029411-20130608134542

I writed a$[0->1] approx f_SVO(a) and HAN > a![1,...1,2] ([1] 1's), BEAF > {a,a / 2} and BAN > {a,a [1[2\_2]2] 2}.