User blog comment:Nayuta Ito/A simple way to compare ordinals/@comment-5150073-20150331135855

What $$\simeq$$ sign means in terms of ordinals? Afaik, so far it's defined properly only for functions and finite numbers.