User blog comment:Rgetar/Ordinal Explorer Online/@comment-31040770-20200216121620/@comment-31040770-20200216122748

Or at least I think. I am still examining the notation.