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

> What is the relation between \(l!_1\) and \(l_1\)?

Clarified.

> Although it works, I guess that this is a typo of \(F_!(l_1,!,l_2,n) = F(l_1,F_!(l_1,!,l_2,n-1),l_2,n)\).

Yeah, it was. Fixed.

> The current rule sets are not applicable to it.

How exactly?

Thank you!