User blog comment:Rgetar/Designation for the next element of a class above an ordinal and some rules for booster-base/@comment-35470197-20200219005322/@comment-32213734-20200219125836

And, for that matter, "Ωx" depends also on Ω•, so it can be considered as second-order function depending on both first-order function Ω• and α.