User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-5150073-20130619132844/@comment-5529393-20130619133228

No, it's the extension of \(\varphi\) function to transfinitely many variables.