User blog comment:Nayuta Ito/generalization of arrow notation/@comment-223.255.230.2-20170514132315

If : i ^ i ~ 0.2078 How many if : i ^^ i = ????