[math-fun] Terminology: "Characteristic Generating Function"?