Aarex's Generalized Up-arrow Notation