The grangoldexithrex is equal to E100#100#2#2 = E100#100#grangoldex using Hyper-E notation. The term was coined by Sbiis Saibian.