User blog comment:DerivedSugar177/Sugar's Slash Arrow Notation/@comment-36957202-20190610193024/@comment-35470197-20190616072113

I also think that it should be omega times 2, but what does #-1 mean?