User blog comment:PsiCubed2/Counting with Ordinals/@comment-32692510-20171208121248

So the ε1 will be ⟅⟅●⟆⟆. Am I right ?