User blog comment:KthulhuHimself/KthulhuHimself's big-ass number database/@comment-25601061-20151018204709/@comment-27014275-20151019065334

These use Terminal STRING Notation, it was simply called "TaN" beforehand. I'll change it.