User blog:Deedlit11/Ordinal notations: the basics