PREVIOUS: A.1 - Powerful Threes Notation
Back to Appendix A - Notations
Remember that unformalised bit of ex3N that KEEPS CHANGING EACH TIME I REFER TO IT??
Let's formalise w^w - w^w^w now.
***UNDER CONSTRUCTION***