There are no predefined postfix operators but this one might have existed!
If it had then it would have been writable in the regular form is_a_factorial(X). As with prefix operators, postfix operators have an arity of 1.
