[math-fun] An alternating symmetric polynomial ?