I thought up a new exponential factorial notation system as I was drifting away to sleep and I wonder if this has already been invented