User blog comment:Rgetar/Bijective storing ordinals in infinite computer memory/@comment-30004975-20180313184852

You can make a BHO level notation using Taranovsky's n=1 postfix system.