User blog:FB100Z/Ordinals and arrow notation