Will be added after the definitions of the Hyper-Extended Collapsing-E notation (#x&E) has been completed.