User blog comment:Wythagoras/Step for step HAN and Dollar Function FGH analysis/@comment-11227630-20131106061741/@comment-11227630-20131107023408

Oh, I see. So the limit of the original HAN is the extended [1(1)[<1>⁅1,2⁆1]], not question mark or [1(1)[<1>⁅[1]⁆1]].