User blog comment:TySkyo/TySkyo's Notation/@comment-28633611-20160805164518/@comment-29014792-20160805165457

You can not define Rayo_2(n).