Double-grand tethriterator

The double-grand tethriterator is equal to E100#^^#>#100#3 in Extended Cascading-E Notation. The term was coined by Sbiis Saibian.