Absolute Termifinity (▣) is equal to ⊡{.I(x+^)xX⊡l. x⊡}⊡, where ⊡ is Termifinity.
New Notations beyond Termifinity