User blog comment:Vel!/BB(n) in FOST/@comment-7484840-20130709183319

Now write it out in FOST in full, with no shortened expressions (it would be interesting to see how many symbols this uses, to get an idea of how large rayo's number can be)