Hyper-Extended Collapsing-E notation