User blog comment:Boboris02/Analysis of Taranovsky's Ordinal Notation with "standard OCFs."/@comment-30004975-20180328042454/@comment-30004975-20180402164439

It's nonstandard