User blog comment:King2218/Extended Factorial Notation/@comment-10429372-20140209182927/@comment-24509095-20140212093535

Yes, it expands exactly like that. I made it so that not just the numbers "descend" but so do the operators. I also like the formal definition for n!!. I actually didn't think of that! I can't believe how much 1's this thing produces.