User blog comment:DrCocktor/My New Factorial Function/@comment-36957202-20190223182038/@comment-35851058-20190223182707

See googologyforeveryonewiki for the definition. It is called grand factorial