User blog comment:MilkyWay90/Finishing my very first notation - The Generalized Factorial/@comment-35470197-20190710234255/@comment-31966679-20190718162122

Okay, wow, thanks for the new definition!