User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-24509095-20140605131454/@comment-3427444-20140605133343

Did I fixed that right?