Basically they work like this:
2!! = 2
4!! = 2*4
6!! = 2*4*6
8!! = 2*4*6*8
and so on...
They are somewhat problematic in a thread like this one,
because they look just like two factorial signs back to back,
so it looks like I'm writing something that is equal to 24!.
Perhaps I should avoid them and find some other way of making 8 out of a single 4.
fyi, the notation for superfactorial(n) seems to be n$.
There is also hyperfactorial: H(n) = 1^1⋅2^2⋅3^3⋅4^4⋅…⋅n^n.
H(1), H(2), H(3), H(4), H(5) = 1, 4, 108, 27648, 86400000