User blog comment:BlauesWasser/Pran - Powerful Repeating Array Notation/@comment-35018170-20180317001322

Let PRAN^n(m) be PRAN(m) iterated n times. Extension is PRAO(n), which is PRAN^n(n). PRAP(n) is PRAO^n(n), PRAQ(n) is PRAP^n(n), and so on, until PRAZ(n). now take largest number makeable in a theory with a PRAZ(100^1000) symbols. THIS VERY BIG!!