User blog comment:D57799/Some basic properties of uparrow notation/@comment-5307762-20141011081305/@comment-5307762-20141011130507

Anyway, I will update it.