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

> \(F_!(l!_1,!,l!_2) = F(l_1,1l_2)\)

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

> \(F_!(l_1,!,l_2,n) = F_!(l_1,F_!(l_1,!,l_2,n-1))\)

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)\).

> \(A(3,!,3,3,!)\)

The current rule sets are not applicable to it.