User blog comment:Googleaarex/Extended Up Arrow Notation/@comment-25418284-20131207233227

Do you have any proofs for these comparisons?