User blog comment:PsiCubed2/Counting with Ordinals/@comment-25601061-20171130215512

What is box representation and array representation of ε0?