Suppose I have a number of $N \times N$ matrices of real numbers, $A_1, A_2, \cdots, A_K$. Is there a way to mathematically express
$A_K! = A_K A_{K-1} A_{K-2} \cdots A_2 A_1$?
I know $A_K!$ is not standard notation, but is there way to express factorial-like matrix multiplication?