User blog comment:Angrybirdstd/Crispin/@comment-32783837-20180202024541/@comment-30754445-20180204153558

Isn't it the other way around? xPTy = a power tower of 10 x's with a y on top?

At any rate, I don't think Munafo ever said that "pt" is short for "powten". Seems more likely that it is an abbreviation of "power tower".

For what it's worth, there's also a function in the computer language c called pow10(x) which evaluate to 10^x. And of-course, Manufo's 1PTx is equal to 10^x.