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

Where are your proofs?