User blog comment:Vel!/Googology and well-defined-ness/@comment-5150073-20141007072250/@comment-5150073-20141009043047

No, I just think that we shouldn't necessarily use notations of other people just because they're believed to be authoritative. It's interesting to define anything in new and unusual way.