User blog:JHeroJr/Extensible U-system

Extensible U-System
The Extensible U-System is a modification of the Extensible E-System (https://googology.wikia.com/wiki/Extensible-E_System ) that joins it with the Busy Beaver function (https://googology.wikia.org/wiki/Busy_beaver_function). It has: It works just like the Extensible E-System except in the base case, Un = BB(n) or ∑(n).
 * Hyper-U Notation (U#)
 * Extended Hyper-U Notation (xU#)
 * Cascading-U Notation (U^)
 * Extended Cascading-U Notation (xU^)
 * Hyper-Hyper-Extended Cascading-U Notation
 * Solidus Cascading-U Notation