User blog comment:Emlightened/Hypernomials (Γ₀)/@comment-1605058-20160113202920/@comment-1605058-20160113204516

Could you also clarify what you mean by "H is closed under [...] $$X\uparrow^{f}g\rightarrow h$$"?