User blog comment:D57799/Some basic properties of uparrow notation/@comment-2033667-20141011064727/@comment-5150073-20141011065352