User blog comment:GamesFan2000/Extended Factorial Notation/@comment-33713741-20181111122201/@comment-37246647-20181111205958

Yes it is, I wasn't sure to begin with but yes, n!a = (n!)*a