Exatetrofaxul

The exatetrofaxul is equal to petatetrofaxul!2 in Hyperfactorial array notation.