User blog comment:Alejandro Magno/A Little Factorial Extension/@comment-1605058-20140930192656

Just so you know, notation n!! already has a standard meaning, namely double factorial, and similarly for multiple factorials.