User blog comment:Username5243/Faxul variants/@comment-73.235.194.108-20170524001635

What about quadfaxul is the quadruple factorial (see wikipedia page), and weaxul is the weak factoriol of 200.